Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11698)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): SAFECOMP: International Conference on Computer Safety, Reliability, and Security
Conference proceedings info: SAFECOMP 2019.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, access via your institution.
Table of contents (21 papers)
-
Front Matter
-
Security Engineering and Risk Assessment
-
Front Matter
-
Other Volumes
-
Computer Safety, Reliability, and Security
About this book
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.
Keywords
- artificial intelligence
- computer networks
- computer vision
- embedded systems
- image processing
- image segmentation
- mobile computing
- mobile devices
- motion planning
- programming languages
- robotics
- robots
- semantics
- sensors
- software engineering
- software evaluation
- specifications
- telecommunication networks
- ubiquitous computing
- user interfaces
Editors and Affiliations
-
Newcastle University, Newcastle upon Tyne, UK
Alexander Romanovsky
-
Åbo Akademi University, Turku, Finland
Elena Troubitsyna
-
Thales Deutschland GmbH, Ditzingen, Germany
Friedemann Bitsch
Bibliographic Information
Book Title: Computer Safety, Reliability, and Security
Book Subtitle: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
Editors: Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-26601-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2019
Softcover ISBN: 978-3-030-26600-4Published: 08 August 2019
eBook ISBN: 978-3-030-26601-1Published: 02 September 2019
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXI, 316
Number of Illustrations: 228 b/w illustrations, 92 illustrations in colour
Topics: Computer Systems Organization and Communication Networks, Artificial Intelligence, Software Engineering/Programming and Operating Systems, Image Processing and Computer Vision, Control Structures and Microprogramming