EEMCS

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

EEMCS EPrints Service


Editor: König, H.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 4.

2002

de Vries, R.G. and Belinfante, A.F.E. and Feenstra, J. (2002) Automated Testing in Practice: The Highway Tolling System. In: Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV. pp. 219-234. IFIP Conference Proceedings 210. Kluwer Academic Publishers. ISBN 0-7923-7695-1
Feijs, L.M.G. and Goga, N. and Mauw, S. and Tretmans, G.J. (2002) Test Selection, Trace Distance and Heuristics. In: Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom, March 19-22, 2002, Berlin, Germany. pp. 267-282. IFIP Conference Proceedings 210. Kluwer Academic Publishers. ISBN 0-7923-7695-1

1998

Katoen, J.P. and Lambert, L. (1998) Pomsets for message sequence charts. In: Formale Beschreibungstechniken fuer verteilte Systeme, 8. GI/ITG-Fachgespraech, 4. und 5. Juni 1998, Cottbus, Germany. pp. 197-207. Shaker Verlag. ISBN 3-8265-3807-2
Firley, T. and Gehrke, T. and Rensink, A. (1998) Spezifikation eines RPC-Speichers mit der Sprache ProFun. In: Formale Beschreibungstechniken für verteilte Systeme, Cottbus, Germany. pp. 136-147. Shaker Verlag. ISBN 3-8265-3807-2

This list was generated on Mon Mar 20 02:23:05 CET 2017.