-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
Diagnosability of fair transition systems
Veröffentlicht in Artificial intelligence
VolltextArtikel -
11
-
12
-
13
-
14
Formal reliability analysis of redundancy architectures
Veröffentlicht in Formal aspects of computing
VolltextArtikel -
15
Model-based Safety Assessment of a Triple Modular Generator with xSAP
Veröffentlicht in Formal aspects of computing
VolltextArtikel -
16
Safety, Dependability and Performance Analysis of Extended AADL Models
Veröffentlicht in Computer journal
VolltextArtikel -
17
-
18
-
19
-
20