ISSE

Search

Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA)

F. Ortmeier, W. Reif, and G. Schellhorn

Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA)

published 2005 Proceedings 5th European Dependable Computing Conference, Hungary, April 20-22, 2005, LNCS 3463, Springer


Downloads: