EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Baumgarten, B.
Home Policy Brochure Browse Search User Area Contact Help

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 Sun Apr 23 22:25:43 CEST 2017.