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.
    Brinksma, Hendrik. / Formal Methods for Conformance Testing: Theory Can Be Practical. Proceedings of Computer Aided Verification Lecture Notes in Computer Science 1633. Trento, Italy, 1999. pp. 44-46
    @inproceedings{1bfa4a2aa37e4b9692804d74625bd7d5,
    title = "Formal Methods for Conformance Testing: Theory Can Be Practical",
    keywords = "METIS-119613",
    author = "Hendrik Brinksma",
    year = "1999",
    month = "7",
    day = "9",
    language = "Undefined",
    pages = "44--46",
    booktitle = "Proceedings of Computer Aided Verification Lecture Notes in Computer Science 1633",

    }

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

    Formal Methods for Conformance Testing: Theory Can Be Practical. / Brinksma, Hendrik.

    Proceedings of Computer Aided Verification Lecture Notes in Computer Science 1633. Trento, Italy, 1999. p. 44-46.

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

    TY - GEN

    T1 - Formal Methods for Conformance Testing: Theory Can Be Practical

    AU - Brinksma, Hendrik

    PY - 1999/7/9

    Y1 - 1999/7/9

    KW - METIS-119613

    M3 - Conference contribution

    SP - 44

    EP - 46

    BT - Proceedings of Computer Aided Verification Lecture Notes in Computer Science 1633

    CY - Trento, Italy

    ER -

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