| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A case study in the integration of accident reports and constructivedesign documents
|
Johnson, C
|
|
2001
|
71 |
3 |
p. 311-326
16 p.
|
artikel
|
| 2 |
Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure
|
Papadopoulos, Y.
|
|
2001
|
71 |
3 |
p. 229-247
19 p.
|
artikel
|
| 3 |
A systematic approach to safety case maintenance
|
Kelly, T.P
|
|
2001
|
71 |
3 |
p. 271-284
14 p.
|
artikel
|
| 4 |
Formal validation of fault-tolerance mechanisms inside GUARDS
|
Bernardeschi, C.
|
|
2001
|
71 |
3 |
p. 261-270
10 p.
|
artikel
|
| 5 |
Human communication, mutual awareness and system dependability. Lessons learnt from air-traffic control field studies
|
Rognin, L.
|
|
2001
|
71 |
3 |
p. 327-336
10 p.
|
artikel
|
| 6 |
Improving the analysis of dependable systems by mapping fault trees into Bayesian networks
|
Bobbio, A.
|
|
2001
|
71 |
3 |
p. 249-260
12 p.
|
artikel
|
| 7 |
PERTS: an environment for specification and verification of reactive systems
|
Bhattacharjee, A.K
|
|
2001
|
71 |
3 |
p. 299-310
12 p.
|
artikel
|
| 8 |
Safety, reliability and security of industrial computer systems
|
Kanoun, K
|
|
2001
|
71 |
3 |
p. 227-228
2 p.
|
artikel
|
| 9 |
System and software safety analysis for the ERA control computer
|
Beerthuizen, P.G.
|
|
2001
|
71 |
3 |
p. 285-297
13 p.
|
artikel
|
Tijdschrift beschrijving