Schnieder, Eckehard.
FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems / [electronic resource] : edited by Eckehard Schnieder, Geza Tarnai. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital.
9783642142611
10.1007/978-3-642-14261-1 doi
Engineering.
Computer simulation.
Physics.
System safety.
Engineering.
Quality Control, Reliability, Safety and Risk.
Automotive Engineering.
Simulation and Modeling.
Complexity.
TA169.7 T55-T55.3 TA403.6
658.56
FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems / [electronic resource] : edited by Eckehard Schnieder, Geza Tarnai. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital.
9783642142611
10.1007/978-3-642-14261-1 doi
Engineering.
Computer simulation.
Physics.
System safety.
Engineering.
Quality Control, Reliability, Safety and Risk.
Automotive Engineering.
Simulation and Modeling.
Complexity.
TA169.7 T55-T55.3 TA403.6
658.56