EEMCS

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

EEMCS EPrints Service


Classification: CR-I.2.8
Home Policy Brochure Browse Search User Area Contact Help

2012

Kuijper, W. (2012) Compositional Synthesis of Safety Controllers. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 13-243 ISBN 978-90-365-3487-1

2011

Marincic, J. and Mader, A.H. and Wieringa, R.J. (2011) Validation of Embedded System Verification Models. In: Proceedings of Model-Driven Requirements Engineering Workshop (MoDRE), 29 Aug 2011, Trento, Italy. pp. 48-54. IEEE Computer Society. ISBN 978-1-4577-0957-9