Rights statement: © 2014 IEEE. This is an author produced version of a paper published in 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering, HASE 2014. Uploaded in accordance with the publisher's self-archiving policy. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting / republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works.
Accepted author manuscript, 519 KB, PDF document
Available under license: CC BY: Creative Commons Attribution 4.0 International License
Final published version
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Publication date | 6/03/2014 |
---|---|
Host publication | 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering |
Publisher | IEEE |
Pages | 113-120 |
Number of pages | 8 |
<mark>Original language</mark> | English |