FORMS/FORMAT - Formal Methods for Automation and Safety in Railway and Automotive Systems
FORMS/FORMAT 2010: Braunschweig, Germany
Eckehard Schnieder, Géza Tarnai (Eds.): 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. Springer 2011 ISBN 978-3-642-14260-4 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team