EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

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 Thu May 24 06:21:24 CEST 2012.