EEMCS

Brinksma, H. and Hooman, J. (2008) Dependability for high-tech systems: an industry-as-laboratory approach. (Invited) In: Design, Automation and Test in Europe, 2008. DATE '08, 10-14 March 2008, Munich. pp. 1226-1231. IEEE Computer Society. ISBN 978-3-9810801-4-8

Brinksma, H. and Hooman, J. (2007) Dependability for high-tech systems: an industry-as-laboratory approach. Technical Report ICIS-R07030, Radboud University, Nijmegen. ISSN 1571-5221

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