EEMCS

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

EEMCS EPrints Service


Classification: SE-DFC: Design for Composition
Home Policy Brochure Browse Search User Area Contact Help

2011

de Roo, A.J. and Sözer, H. and Akşit, M. (2011) Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software. In: Fifth IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 Jun 2011, Jeju Island, Korea. pp. 41-50. IEEE Computer Society. ISBN 978-0-7695-4453-3