EEMCS

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

EEMCS EPrints Service


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

Number of items: 3.

2007

Verhoef, M. and Visser, P.M. and Hooman, J. and Broenink, J.F. (2007) Co-simulation of Distributed Embedded Real-Time Control Systems. In: Integrated Formal Methods, IFM2007. Lecture Notes in Computer Science 4591. Springer Verlag, London, pp. 639-658. ISSN 0302-9743 ISBN 978-3-540-73209-9
Calamé, J.R. and Ioustinova, N. and van de Pol, J.C. and Sidorova, N. (2007) Bug Hunting with False Negatives. In: Integrated Formal Methods, 2-5 Jul 2007, Oxford, UK. pp. 98-117. Lecture Notes in Computer Science 4591. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-73209-9
Fehnker, A. and van Hoesel, L.F.W. and Mader, A.H. (2007) Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. In: Proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, 2-5 Jul 2007, Oxford, Britain. pp. 253-272. Lecture Notes in Computer Science 4591. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-73209-9

This list was generated on Mon Mar 27 02:28:35 CEST 2017.