EEMCS

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

EEMCS EPrints Service


Supervisor: Brinksma, H.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 13.

2011

van der Bijl, H.M. (2011) On changing models in Model-Based Testing. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 11-198 ISBN 978-90-365-3195-5

2008

Kastenberg, H. (2008) Graph-based software specification and verification. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 08-128 ISBN 978-90-365-2734-7
Zapreev, I.S. (2008) Model Checking Markov Chains: Techniques and Tools. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 08-113 ISBN 978-90-8570-298-6

2007

Brandán Briones, L. (2007) Theories for Model-based Testing: Real-time and Coverage. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 07-97 ISBN 978-90-365-2476-6

2006

Krilavičius, T. (2006) Hybrid Techniques for Hybrid Systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 06-90 ISBN 90-365-2397-4

2005

Lenzini, G. (2005) Integration of Analysis Techniques in Security and Fault-Tolerance. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 05-70 ISBN 90-365-2200-5

2003

Distefano, D.S. (2003) On Model Checking the Dynamics of Object-Based Software: A Foundational Approach. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 03-58

2002

Sluiman, F.J. (2002) Linear Data Structures for Storage Allocation in Attribute Evaluators. PhD thesis, University of Twente. ISBN 90-365-1713-3

2001

Ruys, T.C. (2001) Towards Effective Model Checking. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 01-34 ISBN 90-365-1564-5

1999

D'Argenio, P.R. (1999) Algebras and Automata for Timed and Stochastic Systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 99-25

1998

Heerink, A.W. (1998) Ins and Outs in Refusal Testing. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 98-21 ISBN 90-365-1128-3

1993

Rensink, A. (1993) Models and Methods for Action Refinement. PhD thesis, University of Twente. ISBN 90-9006336-6

1992

Tretmans, G.J. (1992) A Formal Approach to Conformance Testing. PhD thesis, University of Twente.

This list was generated on Fri Apr 28 07:07:51 CEST 2017.