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 68.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Troubitsyna, Elena (Hrsg.) / Bitsch, Friedemann (Hrsg.)
- ISBN: 978-3-030-26601-1
- EAN: 9783030266011
- Produktnummer: 32499192
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2019
- Seitenangabe: 316 S.
- Plattform: PDF
- Masse: 27'826 KB
- Auflage: 1st ed. 2019
- Abbildungen: 228 schwarz-weiße und 92 farbige Abbildungen, Bibliographie
- Reihenbandnummer: 11698
49 weitere Werke von Alexander (Hrsg.) Romanovsky:
Bewertungen
Anmelden