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

Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn

Browse the full EDCC paper archive.