-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
Component-based verification of operating systems
Veröffentlicht in Trudy Instituta sistemnogo programmirovaniâ
VolltextArtikel -
12
Tools for System Design of Integrated Modular Avionics
Veröffentlicht in Trudy Instituta sistemnogo programmirovaniâ
VolltextArtikel -
13
-
14
Testing of Operating Systems
Veröffentlicht in Trudy Instituta sistemnogo programmirovaniâ
VolltextArtikel