Limit this search to....

Computer Safety, Reliability, and Security: 38th International Conference, Safecomp 2019, Turku, Finland, September 11-13, 2019, Proceedings 2019 Edition
Contributor(s): Romanovsky, Alexander (Editor), Troubitsyna, Elena (Editor), Bitsch, Friedemann (Editor)
ISBN: 3030266001     ISBN-13: 9783030266004
Publisher: Springer
OUR PRICE:   $61.74  
Product Type: Paperback - Other Formats
Published: August 2019
Qty:
Additional Information
BISAC Categories:
- Computers | Programming - General
- Computers | Hardware - General
- Computers | Software Development & Engineering - General
Dewey: 005.101
Physical Information: 0.71" H x 6.14" W x 9.21" (1.05 lbs) 316 pages
 
Descriptions, Reviews, Etc.
Publisher Description:

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.