Computer Safety, Reliability, and Security
38th International Conference, SAFECOMP 2019, Turku, Finland, September 11¿13, 2019, Proceedings
Herausgegeben:Romanovsky, Alexander; Troubitsyna, Elena; Bitsch, Friedemann
Computer Safety, Reliability, and Security
38th International Conference, SAFECOMP 2019, Turku, Finland, September 11¿13, 2019, Proceedings
Herausgegeben:Romanovsky, Alexander; Troubitsyna, Elena; Bitsch, Friedemann
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
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.
- Computer Safety, Reliability, and Security49,99 €
- Computer Safety, Reliability, and Security48,99 €
- Computer Safety, Reliability, and Security60,99 €
- Computer Safety, Reliability, and Security37,99 €
- Computer Safety, Reliability, and Security63,99 €
- Computer Safety, Reliability, and Security37,99 €
- Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops63,99 €
-
-
-
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.
- Produktdetails
- Lecture Notes in Computer Science 11698
- Verlag: Springer / Springer International Publishing / Springer, Berlin
- Artikelnr. des Verlages: 978-3-030-26600-4
- 1st ed. 2019
- Seitenzahl: 340
- Erscheinungstermin: 8. August 2019
- Englisch
- Abmessung: 235mm x 155mm x 19mm
- Gewicht: 517g
- ISBN-13: 9783030266004
- ISBN-10: 3030266001
- Artikelnr.: 57002533
- Lecture Notes in Computer Science 11698
- Verlag: Springer / Springer International Publishing / Springer, Berlin
- Artikelnr. des Verlages: 978-3-030-26600-4
- 1st ed. 2019
- Seitenzahl: 340
- Erscheinungstermin: 8. August 2019
- Englisch
- Abmessung: 235mm x 155mm x 19mm
- Gewicht: 517g
- ISBN-13: 9783030266004
- ISBN-10: 3030266001
- Artikelnr.: 57002533