EEMCS

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

EEMCS EPrints Service


Editor: Leucker, M.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 5.

2008

van de Pol, J.C. (2008) A Typical Verification Challenge for the GRID. (Invited) In: Dagstuhl Seminar Proceedings 08332 'Distributed Verification and Grid Computing ', 10-14 August 2008, Dagstuhl, Germany. Dagstuhl Seminar Proceedings (08332). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. ISSN 1862-4405

2007

Brim, L. and Haverkort, B.R.H.M. and Leucker, M. and van de Pol, J.C. (2007) Preface. In: Formal Methods: Applications and Technology, 26-31 Aug 2006, Bonn, Germany. V-VI. Lecture Notes in Computer Science 4346. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-70951-0

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

This list was generated on Mon May 29 02:50:04 CEST 2017.