EEMCS

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

EEMCS EPrints Service


Editor: Jonsson, B.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 6.

2005

Broy, M. and Jonsson, B. and Katoen, J.P. and Leucker, M. and Pretschner, A., ed. (2005) Model-Based Testing of Reactive Systems, Advanced Lectures. Lecture Notes in Computer Science 3472. Springer-Verlag, Berlin. ISBN 3 540 26278 4
Belinfante, A.F.E. and Frantzen, L. and Schallhart, C. (2005) Tools for Test Case Generation. In: Model-Based Testing of Reactive Systems: Advanced Lectures. Lecture Notes in Computer Science 3472. Springer Verlag, pp. 391-438. ISBN 3 540 26278 4
Brandán Briones, L. and Röhl, M. (2005) Test Derivation from Timed Automata. In: Model-Based Testing of Reactive Systems. Lecture Notes in Computer Science 3472. Springer Verlag, Berlin, pp. 201-231. ISBN 3 540 26278 4

1996

D'Argenio, P.R. and Brinksma, H. (1996) A Calculus for Timed Automata (Extended Abstract). In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, September 9-13, 1996, Uppsala, Sweden. pp. 110-129. Lecture Notes in Computer Science 1135. Springer Verlag. ISBN 3-540-61648-9
Katoen, J.P. and Latella, D. and Langerak, R. and Brinksma, H. (1996) On specifying real-time systems in a causality-based setting. In: Formal Techniques in Real-Time and Fault-Tolerant Systems, September 9-13, 1996, Uppsala, Sweden. pp. 385-405. Lecture Notes in Computer Science 1135. Springer-Verlag. ISBN 3-540-61648-9

1994

Rensink, A. and Wehrheim, H. (1994) Weak Sequential Composition in Process Algebras. In: Concurrency Theory (CONCUR), Uppsala, Sweden. pp. 226-241. Lecture Notes in Computer Science 836. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-58328-8

This list was generated on Mon Mar 27 03:43:54 CEST 2017.