EEMCS

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

EEMCS EPrints Service


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

Number of items: 2.

2014

Amighi, A. and Blom, S.C.C. and Darabi, S. and Huisman, M. and Mostowski, W.I. and Zaharieva-Stojanovski, M. (2014) Verification of concurrent systems with VerCors. In: Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems. Lecture Notes in Computer Science 8483. Springer Verlag, Berlin, pp. 172-216. ISSN 0302-9743 ISBN 978-3-319-07316-3

2004

Katoen, J.P. and Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. (2004) Embedded software analysis with MOTOR. In: Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004. Lecture Notes in Computer Science 3185. Springer Verlag, Bertinoro, Italy, pp. 268-293. ISBN 3-540-23068-8

This list was generated on Sun May 21 22:08:42 CEST 2017.