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

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationProceedings of ninth International Workshop on Testing of Communicating Systems
    Pages289-298
    Number of pages10
    Publication statusPublished - 18 Nov 1996

    Keywords

    • METIS-120044

    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)