Data & IT
Pocket
Computer Safety, Reliability, and Security
Alexander Romanovsky • Elena Troubitsyna • Friedemann Bitsch
889:-
Uppskattad leveranstid 10-16 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Pocket/Paperback 1009:-
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.
- Format: Pocket/Paperback
- ISBN: 9783030266004
- Språk: Engelska
- Antal sidor: 316
- Utgivningsdatum: 2019-08-08
- Förlag: Springer Nature Switzerland AG