Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 1996
Heerink, A.W. and Tretmans, G.J.
(1996)
Formal Methods in Conformance Testing: A Probabilistic Refinement.
In: Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems, Darmstadt, Germany.
pp. 261-276.
Chapman & Hall.
ISBN 0-412-78790-3
Hogrefe, D. and Heymer, S. and Tretmans, G.J.
(1996)
Report on the Standardization Project "Formal Methods in Conformance Testing".
In: Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems, Darmstadt, Germany.
pp. 289-298.
Chapman & Hall.
ISBN 0-412-78790-3
This list was generated on Thu May 24 05:44:34 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||