|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
15 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Calendar |
1994 |
43 | 2 |
p. 245- 1 p. |
artikel |
||
| 2 | Centre for software reliability |
Trier, Heinz |
1994 |
43 | 2 |
p. 221-231 11 p. |
artikel |
|
| 3 | Considerations on current research issues in software safety |
Strigini, Lorenzo |
1994 |
43 | 2 |
p. 177-188 12 p. |
artikel |
|
| 4 | Critical system properties: survey and taxonomy |
Rushby, John |
1994 |
43 | 2 |
p. 189-219 31 p. |
artikel |
|
| 5 | Erratum |
1994 |
43 | 2 |
p. I- 1 p. |
artikel |
||
| 6 | Guest editorial |
Anderson, Tom |
1994 |
43 | 2 |
p. 101-102 2 p. |
artikel |
|
| 7 | Interim def stan 00–56: hazard analysis and safety classification of the computer and programmable electronic system elements of defence equipment |
Froome, P.K.D. |
1994 |
43 | 2 |
p. 151-158 8 p. |
artikel |
|
| 8 | Legal implications of safety certification for software products |
Lloyd, Ian J. |
1994 |
43 | 2 |
p. 169-175 7 p. |
artikel |
|
| 9 | Scope methodology for safety |
de Neumann, Bernard |
1994 |
43 | 2 |
p. 159-168 10 p. |
artikel |
|
| 10 | Software diversity |
Voges, Udo |
1994 |
43 | 2 |
p. 103-110 8 p. |
artikel |
|
| 11 | Standards for safety related computer systems |
Bloomfield, R.E. |
1994 |
43 | 2 |
p. 135-142 8 p. |
artikel |
|
| 12 | Support for safety cases and safety arguments using SAM |
McDermid, John A. |
1994 |
43 | 2 |
p. 111-127 17 p. |
artikel |
|
| 13 | The Ontaryo Hydro/AECL approach to real-time software engineering standards |
Joannou, P.K. |
1994 |
43 | 2 |
p. 143-150 8 p. |
artikel |
|
| 14 | The role of formal methods in achieving dependable software |
Thomas, Martyn |
1994 |
43 | 2 |
p. 129-134 6 p. |
artikel |
|
| 15 | The UK safety critical systems research programme |
Malcolm, Bob |
1994 |
43 | 2 |
p. 233-244 12 p. |
artikel |
15 gevonden resultaten