Stephen S. Cha, Nancy G. Leveson, Timothy J. Shimeall
Safety Verification in Murphy Using Fault Tree Analysis
ICSE, 1988.
@inproceedings{ICSE-1988-ChaLS,
acmid = "55860",
author = "Stephen S. Cha and Nancy G. Leveson and Timothy J. Shimeall",
booktitle = "{Proceedings of the 10th International Conference on Software Engineering}",
editor = "Tan Chin Nam and Larry E. Druffel and Bertrand Meyer",
isbn = "0-8186-0849-8",
pages = "377--387",
publisher = "{IEEE Computer Society}",
title = "{Safety Verification in Murphy Using Fault Tree Analysis}",
year = 1988,
}