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.6.4
Home Policy Brochure Browse Search User Area Contact Help

2012

Marincic, J. and Mader, A.H. and Wieringa, R.J. (2012) Explaining Embedded Software Modelling Decisions. In: IEEE CS International Conference on Software Science, Technology, and Engineering, SWSTE 2012, 12-13 June 2012, Herzlia, Israel. pp. 80-89. IEEE Computer Society. ISBN 978-0-7695-4716-9

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

2007

Marincic, J. and Wupper, H. and Mader, A.H. and Wieringa, R.J. (2007) Obtaining Formal Models through Non-Monotonic Refinement. Technical Report TR-CTIT-07-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625