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

G.J. Tretmans, W.T.M. Kars, Hendrik Brinksma

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

    Original languageUndefined
    Title of host publicationIWPTS IV (International Workshop on Protocol Test Systems)
    Place of PublicationLeidschendam
    Pages-
    Number of pages15
    Publication statusPublished - 1 Sep 1991

    Keywords

    • METIS-119501

    Cite this

    Tretmans, G. J., Kars, W. T. M., & Brinksma, H. (1991). Protocol conformance testing: a formal perspective on ISO IS-9646. In IWPTS IV (International Workshop on Protocol Test Systems) (pp. -). Leidschendam.
    Tretmans, G.J. ; Kars, W.T.M. ; Brinksma, Hendrik. / Protocol conformance testing: a formal perspective on ISO IS-9646. IWPTS IV (International Workshop on Protocol Test Systems). Leidschendam, 1991. pp. -
    @inproceedings{1b10252ee45c4957b028f816ead6e120,
    title = "Protocol conformance testing: a formal perspective on ISO IS-9646",
    keywords = "METIS-119501",
    author = "G.J. Tretmans and W.T.M. Kars and Hendrik Brinksma",
    year = "1991",
    month = "9",
    day = "1",
    language = "Undefined",
    pages = "--",
    booktitle = "IWPTS IV (International Workshop on Protocol Test Systems)",

    }

    Tretmans, GJ, Kars, WTM & Brinksma, H 1991, Protocol conformance testing: a formal perspective on ISO IS-9646. in IWPTS IV (International Workshop on Protocol Test Systems). Leidschendam, pp. -.

    Protocol conformance testing: a formal perspective on ISO IS-9646. / Tretmans, G.J.; Kars, W.T.M.; Brinksma, Hendrik.

    IWPTS IV (International Workshop on Protocol Test Systems). Leidschendam, 1991. p. -.

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

    TY - GEN

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

    AU - Tretmans, G.J.

    AU - Kars, W.T.M.

    AU - Brinksma, Hendrik

    PY - 1991/9/1

    Y1 - 1991/9/1

    KW - METIS-119501

    M3 - Conference contribution

    SP - -

    BT - IWPTS IV (International Workshop on Protocol Test Systems)

    CY - Leidschendam

    ER -

    Tretmans GJ, Kars WTM, Brinksma H. Protocol conformance testing: a formal perspective on ISO IS-9646. In IWPTS IV (International Workshop on Protocol Test Systems). Leidschendam. 1991. p. -