Formal Methods in Conformance Testing: A probabilistic refinement

A.W. Heerink, 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 the Ninth International Workshop on Testing of Communicating Systems
Place of Publication	Darmstadt, Germany
Pages	261-276
Number of pages	16
Publication status	Published - 1 Jun 1996

Keywords

@inproceedings{fef35c5736954e4fa97732aef959a91f,

title = "Formal Methods in Conformance Testing: A probabilistic refinement",

keywords = "METIS-120048",

author = "A.W. Heerink and G.J. Tretmans",

year = "1996",

month = jun,

day = "1",

language = "Undefined",

isbn = "0-412-78790-3",

pages = "261--276",

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

}