ISSE

Search

Safety Optimization of a Radio-Based Railroad Crossing

Frank Ortmeier, Gerhard Schellhorn, Wolfgang Reif

Safety Optimization of a Radio-Based Railroad Crossing

published 2004 E. Schnieder, and G. Tarnai, editors: FORMS/FORMAT 2004. Formal Methods for Automation and Safety in Railway and Automotive Systems, Proceedings of Symposium FORMS/FORMAT 2004, Braunschweig, Germany, 2nd and 3rd December 2004. ISBN 3-9803363-8-7.


Downloads: