![](/img/cover-not-exists.png)
A spiral process of formalization and verification: A case study on verification of the scheduling mechanism of OSEK/VDX
Zhang, Min, Aoki, Toshiaki, He, YueyingLanguage:
english
Journal:
Journal of Information Security and Applications
DOI:
10.1016/j.jisa.2016.05.002
Date:
May, 2016
File:
PDF, 1.20 MB
english, 2016