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 |
Electronic resources
| LDR | 01337nam a22003975i 4500 | ||
|---|---|---|---|
| 001 | 4653 | ||
| 003 | CONS | ||
| 005 | 20121025151328.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 110209s2011 gw | s |||| 0|eng d | ||
| 020 | . | ‡a9783642142611 ‡9978-3-642-14261-1 | |
| 024 | 7 | . | ‡a10.1007/978-3-642-14261-1 ‡2doi |
| 035 | . | ‡a(DE-He213)978-3-642-14261-1 | |
| 050 | 4. | ‡aTA169.7 | |
| 050 | 4. | ‡aT55-T55.3 | |
| 050 | 4. | ‡aTA403.6 | |
| 072 | 7. | ‡aTGPR ‡2bicssc | |
| 072 | 7. | ‡aTEC032000 ‡2bisacsh | |
| 100 | 1 | . | ‡aSchnieder, Eckehard. |
| 245 | 1 | 0. | ‡aFORMS/FORMAT 2010 ‡h[electronic resource] : ‡bFormal Methods for Automation and Safety in Railway and Automotive Systems / ‡cedited by Eckehard Schnieder, Geza Tarnai. |
| 260 | . | ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2011. | |
| 300 | . | ‡aXI, 257p. ‡bdigital. | |
| 650 | 0. | ‡aEngineering. | |
| 650 | 0. | ‡aComputer simulation. | |
| 650 | 0. | ‡aPhysics. | |
| 650 | 0. | ‡aSystem safety. | |
| 650 | 1 | 4. | ‡aEngineering. |
| 650 | 2 | 4. | ‡aQuality Control, Reliability, Safety and Risk. |
| 650 | 2 | 4. | ‡aAutomotive Engineering. |
| 650 | 2 | 4. | ‡aSimulation and Modeling. |
| 650 | 2 | 4. | ‡aComplexity. |
| 700 | 1 | . | ‡aTarnai, Geza. |
| 710 | 2 | . | ‡aSpringerLink (Online service) |
| 773 | 0 | . | ‡tSpringer eBooks |
| 776 | 0 | 8. | ‡iPrinted edition: ‡z9783642142604 |
| 856 | 4 | 0. | ‡uhttp://dx.doi.org/10.1007/978-3-642-14261-1 ‡9CONS |
| 950 | . | ‡aEngineering (Springer-11647) | |
| 901 | . | ‡a4653 ‡b ‡c4653 ‡tbiblio ‡sSystem Local | |
