| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A framework for dependability engineering of critical computing systems
|
Kaâniche, Mohamed
|
|
2002
|
40 |
9 |
p. 731-752
22 p.
|
artikel
|
| 2 |
Assessing the practical benefits of formal methods for software development
|
Droschl, G
|
|
2002
|
40 |
9 |
p. 719-730
12 p.
|
artikel
|
| 3 |
Assessing the reliability of diverse fault-tolerant software-based systems
|
Littlewood, Bev
|
|
2002
|
40 |
9 |
p. 781-796
16 p.
|
artikel
|
| 4 |
Assessment of programmable systems using Bayesian belief nets
|
Gran, Bjørn Axel
|
|
2002
|
40 |
9 |
p. 797-812
16 p.
|
artikel
|
| 5 |
Author Index - Vol 40
|
|
|
2002
|
40 |
9 |
p. IV-
1 p.
|
artikel
|
| 6 |
Design for safety in Safecharts with risk ordering of states
|
Nissanke, Nimal
|
|
2002
|
40 |
9 |
p. 753-763
11 p.
|
artikel
|
| 7 |
Forensic software engineering: are software failures symptomatic of systemic problems?
|
Johnson, Chris
|
|
2002
|
40 |
9 |
p. 835-847
13 p.
|
artikel
|
| 8 |
Safety, reliability and security of industrial computer systems
|
Koornneef, F
|
|
2002
|
40 |
9 |
p. 715-717
3 p.
|
artikel
|
| 9 |
Software tools to support incident reporting in safety-critical systems
|
Johnson, Chris
|
|
2002
|
40 |
9 |
p. 765-780
16 p.
|
artikel
|
| 10 |
The dynamic flowgraph methodology as a safety analysis tool: programmable electronic system design and verification
|
Houtermans, Michel
|
|
2002
|
40 |
9 |
p. 813-833
21 p.
|
artikel
|
| 11 |
Volume Contents - Vol 40
|
|
|
2002
|
40 |
9 |
p. I-III
nvt p.
|
artikel
|
Tijdschrift beschrijving