EEMCS

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

EEMCS EPrints Service


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

Number of items: 6.

2016

Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. (2016) Hypothesis testing for rare-event simulation: limitations and possibilities. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016. Lecture Notes in Computer Science 9952 (Part I). Springer International Publishing AG, pp. 16-26. ISSN 0302-9743 ISBN 978-3-319-47165-5
Rensink, A. (2016) Model Patterns - The Quest for the Right Level of Abstraction. In: Transactions on Foundations for Mastering Change I. Lecture Notes in Computer Science 9960. Springer Verlag, Berlin, pp. 47-70. ISSN 2509-8047 ISBN 978-3-319-46507-4

2014

Rensink, A. (2014) Forever software. In: 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2014, 11 Oct 2014, Corfu, Greece. pp. 535-537. Lecture Notes in Computer Science 8802. Springer Verlag. ISSN 0302-9743 ISBN 978-3-662-45233-2

1998

Ruys, T.C. and Brinksma, H. (1998) Experience with Literate Programming in the Modelling and Validation of Systems. In: Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, March 28 - April 4, 1998, Lisbon, Portugal. pp. 393-408. Lecture Notes in Computer Science 1384. Springer Verlag. ISBN 3-540-64356-7

1996

Tretmans, G.J. (1996) Test Generation with Inputs, Outputs, and Quiescence. In: Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, March 27-29, 1996, Passau, Germany. pp. 127-146. Lecture Notes in Computer Science 1055. Springer Verlag. ISBN 3-540-61042-1

1995

Mader, A.H. (1995) Modal µ-Calculus, Model Checking and Gauß Elimination. In: 1st Int. Workshop Tools and Algorithms for Construction and Analysis of Systems (TACAS), Aarhus, Denmark. pp. 72-88. Springer-Verlag. ISBN 3-540-60630-0

This list was generated on Fri Mar 24 07:16:17 CET 2017.