Formal Methods in Conformance Testing: A probabilistic refinement

A.W. Heerink, G.J. Tretmans

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

    Original languageUndefined
    Title of host publicationProceedings of the Ninth International Workshop on Testing of Communicating Systems
    Place of PublicationDarmstadt, Germany
    Number of pages16
    Publication statusPublished - 1 Jun 1996


    • METIS-120048

    Cite this