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

EEMCS EPrints Service

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

Number of items: 4.


Hiemstra, D. (2009) Information Retrieval Models. In: Information Retrieval: Searching in the 21st Century. Wiley, pp. 1-19. ISBN 978-0-470-02762-2


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


Chaudron, M. and Tretmans, G.J. and Wijbrans, K.C.J. (1999) Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. In: Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II. pp. 1511-1526. Lecture Notes in Computer Science 1709. Springer Verlag. ISBN 3-540-66588-9

This list was generated on Sun May 28 23:44:41 CEST 2017.