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