EEMCS

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

EEMCS EPrints Service


Research Project: BOS: Beslis en Ondersteunend Systeem
Home Policy Brochure Browse Search User Area Contact Help

2001

Tretmans, G.J. and Wijbrans, K.C.J. and Chaudron, M. (2001) Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System - Revisiting Seven Myths of Formal Methods. Formal Methods in System Design, 19 (2). pp. 195-215. ISSN 0925-9856 *** ISI Impact 1,132 ***