A spiral process of formalization and verification: A case study on verification of the scheduling mechanism of OSEK/VDX
- Resource Type
- Article
- Source
- In
Journal of Information Security and Applications December 2016 31:41-53 - Subject
- Language
- ISSN
- 2214-2126