Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Editor: Fitzgerald, J.S.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.


Broenink, J.F. and Larsen, P.G and Verhoef, M. and Kleijn, C. and Jovanović, D.S. and Pierce, K. and Wouters, F. (2010) Design Support and Tooling for Dependable Embedded Control Systems. In: 2nd International Workshop on Software Engineering for Resilient Systems, SERENE 2010, 13-16 Apr 2010, London, UK. ACM. ISBN 978-1-4503-0289-0


Blom, S.C.C. and van de Pol, J.C. (2008) Symbolic Reachability for Process Algebras with Recursive Data Types. In: Theoretical Aspects of Computing - ICTAC 2008, 1-3 Sep 2008, Istanbul, Turkey. pp. 81-95. Lecture Notes in Computer Science 5160. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-85761-7


Bohnenkamp, H.C. and Belinfante, A.F.E. (2005) Timed Testing with TorX. In: Formal Methods Europe (FME), 18-22 July 2005, Newcastle, UK. pp. 173-188. Lecture Notes in Computer Science 3582. Springer-Verlag. ISSN 0302-9743 ISBN 3-540-27882-6

This list was generated on Fri May 26 01:09:09 CEST 2017.