Hierarchically Performed Hazard Origin and Propagation Studies

Yiannis Papadopoulos, John A. McDermid. Hierarchically Performed Hazard Origin and Propagation Studies. In Massimo Felici, Karama Kanoun, Alberto Pasquini, editors, Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP 99, Toulouse, France, September, 1999, Proceedings. Volume 1698 of Lecture Notes in Computer Science, pages 139-152, Springer, 1999. [doi]

Abstract

Abstract is missing.