EEMCS

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

EEMCS EPrints Service


Editor: Majumdar, R.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.

2010

Belinfante, A.F.E. (2010) JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. In: Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, 22-25 March 2010, Paphos, Cyprus. pp. 266-270. Lecture Notes in Computer Science 6015. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-12001-5
Neuhausser, M. and Zhang, Lijun (2010) Model Checking Interactive Markov Chains. In: 16th International Conferenceon Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, 20-28 Mar 2010, Paphos, Cyprus. pp. 53-68. Lecture Notes in Computer Science 6015. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-12001-5

2008

Nguyen, Viet Yen and Ruys, T.C. (2008) Incremental Hashing for SPIN. In: Model Checking Software, Proceedings of the 15th International SPIN Workshop, 10-12 Aug 2008, Los Angeles, CA, USA. pp. 232-249. Lecture Notes in Computer Science 5156. Springer Verlag. ISBN 978-3-540-85113-4

This list was generated on Mon May 29 03:10:14 CEST 2017.