E-book
FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems
Record details
- ISBN: 9783642142611
-
Physical Description:
electronic
electronic resource
access
remote
XI, 257p. digital. - Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
Search for related items by subject
| Subject: | Engineering Computer simulation Physics System safety Engineering Quality Control, Reliability, Safety and Risk Automotive Engineering Simulation and Modeling Complexity |
