Lecture Notes in Computer Science: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

Romanovsky, Alexander; Troubitsyna, Elena; Bitsch, Friedemann

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. 

Details

Published by: Springer

Publication Date: 2019-08-08

Format: Paperback

ISBN-13: 9783030266004

DOI: 10.1007/978-3-030-26601-1

Dimensions: 235cm x155cm

Pages: 316