![](/img/cover-not-exists.png)
[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Implementation Correctness of a Real-Time Operating System
Daum, Matthias, Schirmer, Norbert W., Schmidt, MareikeYear:
2009
Language:
english
DOI:
10.1109/SEFM.2009.14
File:
PDF, 872 KB
english, 2009