Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||