dblp.uni-trier.dewww.uni-trier.de

Stephen S. Cha

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
2EENancy 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

Coauthor Index

1John C. Knight [2]
2Nancy G. Leveson [1] [2] [3]
3Timothy J. Shimeall [1] [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)