FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems - Schnieder, Eckehard; Tarnai, Geza.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Engineering; Computer simulation; Physics; System safety; Engineering; Quality Control, Reliability, Safety and Risk; Automotive Engineering; Simulation and Modeling; Complexity