Computer Safety, Reliability, and Security
38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings
This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation.
CHF 84.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V112:
Lieferbar in ca. 10-20 Arbeitstagen
Produktdetails
Weitere Autoren: Troubitsyna, Elena (Hrsg.) / Bitsch, Friedemann (Hrsg.)
- ISBN: 978-3-030-26600-4
- EAN: 9783030266004
- Produktnummer: 31949411
- Verlag: Springer Nature EN
- Sprache: Englisch
- Erscheinungsjahr: 2019
- Seitenangabe: 316 S.
- Masse: H23.5 cm x B15.4 cm x D1.8 cm 518 g
- Auflage: 1st ed. 2019
- Abbildungen: Farb., s/w. Abb.
- Reihenbandnummer: 11698
- Gewicht: 518
- Sonstiges: Research
49 weitere Werke von Alexander (Hrsg.) Romanovsky:
Bewertungen
Anmelden