Autorenfreundlich Bücher kaufen?!
Beschreibung
The papers are organized in topical sections on dynamic fault trees; safety case and argumentation; formal verification; autonomous systems; static analysis and testing; safety analysis and assessment; safety and security.
36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
Details
| Verlag | Springer International Publishing |
| Ersterscheinung | 17. August 2017 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 552 Gramm |
| Format | Softcover |
| ISBN-13 | 9783319662657 |
| Auflage | 1st ed. 2017 |
| Seiten | 344 |