Protocol conformance testing : a formal perspective on ISO IS-9646

J. Tretmans, P. Kars, E. Brinksma

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

    Original languageEnglish
    Title of host publicationProtocol Test Systems IV (Proceedings IFIP TC6/WG6.1 Fourth International Workshop, Leidschendam, The Netherlands, October 15-17, 1991)
    EditorsJ. Kroon, R.J. Heijink, E. Brinksma
    PublisherNorth-Holland Publishing Company
    Publication statusPublished - 1992

    Publication series

    NameIFIP transactions. C, Communication systems
    ISSN (Print)0926-549X

    Cite this