EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Ural, H.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.

2000

Belinfante, A.F.E. and de Vries, R.G. and Du Bousquet, L. and Ramangalahy, S. and Simon, S. and Viho, C. (2000) Formal Test Automation: The Conference protocol with TGV/TorX. In: Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada. pp. 221-228. IFIP Conference Proceedings 176. Kluwer Academic Publishers. ISBN 0-7923-7921-7
Heerink, A.W. and Feenstra, J. and Tretmans, G.J. (2000) Formal Test Automation: The Conference Protocol with PHACT. In: Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques. pp. 211-220. IFIP Conference Proceedings 176. Kluwer Academic Publishers. ISBN 0-7923-7921-7

1990

van Eijk, P. and Kremer, H.H.C. and van Sinderen, M.J. (1990) On the use of specification styles for automated protocol implementation from LOTOS to C. In: Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990, 12-15 Jun 1990, Ottawa, Canada. pp. 157-168. Elsevier. ISBN 0-444-88810-1

This list was generated on Fri Mar 24 07:51:36 CET 2017.