| |
| 1991 | ||
|---|---|---|
| 3 | Nancy G. Leveson, Stephen S. Cha, Timothy J. Shimeall: Safety Verification of Ada Programs Using Software Fault Trees. IEEE Software 8(4): 48-59 (1991) | |
| 1990 | ||
| 2 | EE | Nancy G. Leveson, Stephen S. Cha, John C. Knight, Timothy J. Shimeall: The Use of Self Checks and Voting in Software Error Detection: An Empirical Study. IEEE Trans. Software Eng. 16(4): 432-443 (1990) |
| 1988 | ||
| 1 | Stephen S. Cha, Nancy G. Leveson, Timothy J. Shimeall: Safety Verification in Murphy Using Fault Tree Analysis. ICSE 1988: 377-387 | |
| 1 | John C. Knight | [2] |
| 2 | Nancy G. Leveson | [1] [2] [3] |
| 3 | Timothy J. Shimeall | [1] [2] [3] |