EEMCS

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

EEMCS EPrints Service


Editor: Wolisz, A.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 5.

2008

Pias, M. and Coulouris, G. and Marron, P.J. and Minder, D. and Meratnia, N. and Lijding, M.E.M. and Havinga, P.J.M. and Baydere, S. and Cayirci, E. and Petrioli, C. (2008) Vertical System Functions. In: Cooperating Embedded Systems and Wireless Sensor Networks. ISTE Ltd and John Wiley & Son, UK & USA, pp. 259-345. ISBN 978-1-84821-000-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

1997

Tretmans, G.J. (1997) Repetitive Quiescence in Implementation and Testing (Extended Abstract). In: Formale Beschreibungstechniken für verteilte Systeme, 19.-20. Juni 1997, Berlin, Germany. pp. 23-37. GMD-Studien 315. GMD-Forschungszentrum Informationstechnik GmbH. ISBN 3-88457-315-2
Rensink, A. and Gorrieri, R. (1997) Action Refinement for Vertical Implementation. In: Formale Beschreibungstechniken für verteilte Systeme. pp. 69-78. GMD-Studien (315). Oldenbourg Verlag. ISBN 3-88457-315-2

This list was generated on Mon May 22 06:39:43 CEST 2017.