Formal Methods for Conformance Testing: Theory Can Be Practical

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

    9 Citations (Scopus)
    Original languageUndefined
    Title of host publicationProceedings of Computer Aided Verification Lecture Notes in Computer Science 1633
    Place of PublicationTrento, Italy
    Pages44-46
    Number of pages3
    Publication statusPublished - 9 Jul 1999

    Keywords

    • METIS-119613

    Cite this

    Brinksma, H. (1999). Formal Methods for Conformance Testing: Theory Can Be Practical. In Proceedings of Computer Aided Verification Lecture Notes in Computer Science 1633 (pp. 44-46). Trento, Italy.