Formal Test Automation: the Conference Protocol with Phact.

A.W. Heerink, J. Feenstra, G.J. Tretmans

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

    Original languageUndefined
    Title of host publicationTesting of Communication Systems (TestCom 2000)
    Place of PublicationOttawa, Canada
    Pages211-220
    Number of pages10
    Publication statusPublished - 22 Feb 2000

    Keywords

    • METIS-119657

    Cite this

    Heerink, A. W., Feenstra, J., & Tretmans, G. J. (2000). Formal Test Automation: the Conference Protocol with Phact. In Testing of Communication Systems (TestCom 2000) (pp. 211-220). Ottawa, Canada.
    Heerink, A.W. ; Feenstra, J. ; Tretmans, G.J. / Formal Test Automation: the Conference Protocol with Phact. Testing of Communication Systems (TestCom 2000). Ottawa, Canada, 2000. pp. 211-220
    @inproceedings{a766df36c7244262b74a089c43f86593,
    title = "Formal Test Automation: the Conference Protocol with Phact.",
    keywords = "METIS-119657",
    author = "A.W. Heerink and J. Feenstra and G.J. Tretmans",
    year = "2000",
    month = "2",
    day = "22",
    language = "Undefined",
    isbn = "0-7923-7921-7",
    pages = "211--220",
    booktitle = "Testing of Communication Systems (TestCom 2000)",

    }

    Heerink, AW, Feenstra, J & Tretmans, GJ 2000, Formal Test Automation: the Conference Protocol with Phact. in Testing of Communication Systems (TestCom 2000). Ottawa, Canada, pp. 211-220.

    Formal Test Automation: the Conference Protocol with Phact. / Heerink, A.W.; Feenstra, J.; Tretmans, G.J.

    Testing of Communication Systems (TestCom 2000). Ottawa, Canada, 2000. p. 211-220.

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

    TY - GEN

    T1 - Formal Test Automation: the Conference Protocol with Phact.

    AU - Heerink, A.W.

    AU - Feenstra, J.

    AU - Tretmans, G.J.

    PY - 2000/2/22

    Y1 - 2000/2/22

    KW - METIS-119657

    M3 - Conference contribution

    SN - 0-7923-7921-7

    SP - 211

    EP - 220

    BT - Testing of Communication Systems (TestCom 2000)

    CY - Ottawa, Canada

    ER -

    Heerink AW, Feenstra J, Tretmans GJ. Formal Test Automation: the Conference Protocol with Phact. In Testing of Communication Systems (TestCom 2000). Ottawa, Canada. 2000. p. 211-220