Estimation of Safety Requirements for Wayside Hot Box Detection Systems

Sonja-Lara Bepperling, Andreas Schöbel. Estimation of Safety Requirements for Wayside Hot Box Detection Systems. In Eckehard Schnieder, Géza Tarnai, editors, FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010. pages 135-143, Springer, 2010. [doi]

Authors

Sonja-Lara Bepperling

This author has not been identified. Look up 'Sonja-Lara Bepperling' in Google

Andreas Schöbel

This author has not been identified. Look up 'Andreas Schöbel' in Google