Report on the standardization project “formal methods in conformance testing”

• Authors:

• Dieter Hogrefe;Stefan Heymer;Jan Tretmans

• Affiliations:

• -;-;-

• Venue:
• Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems
• Year:
• 1996