Stephen S. Cha

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

Coauthor Index

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

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page