Report on the Standardization Project "Formal Methods in Conformance Testing"

D. Hogrefe, S. Heymer, G.J. Tretmans

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	Proceedings of ninth International Workshop on Testing of Communicating Systems
Pages	289-298
Number of pages	10
Publication status	Published - 18 Nov 1996

Cite this

Hogrefe, D., Heymer, S., & Tretmans, G. J. (1996). Report on the Standardization Project "Formal Methods in Conformance Testing". In Proceedings of ninth International Workshop on Testing of Communicating Systems (pp. 289-298)

@inproceedings{17c2480aa3064f159912e6e4752e8e6c,

title = "Report on the Standardization Project {"}Formal Methods in Conformance Testing{"}",

keywords = "METIS-120044",

author = "D. Hogrefe and S. Heymer and G.J. Tretmans",

year = "1996",

month = "11",

day = "18",

language = "Undefined",

pages = "289--298",

booktitle = "Proceedings of ninth International Workshop on Testing of Communicating Systems",

}