Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12852)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: SAFECOMP 2021.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (17 papers)
-
Machine Learning Safety Assurance
-
Safety and Assurance Cases
-
Machine Learning Applications
-
Safety Validation and Simulation
Other volumes
-
Computer Safety, Reliability, and Security
-
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops
Keywords
- artificial intelligence
- computer hardware
- computer networks
- computer programming
- computer science
- computer security
- computer systems
- cryptography
- data security
- engineering
- Field Programmable Gate Array (FPGA)
- internet
- mathematics
- mobile robots
- network protocols
- robotics
- signal processing
- software design
- software engineering
- software quality
About this book
The 17 full papers included in this volume were carefully reviewed and selected from 76 submissions. They were organized in topical sections as follows: machine learning safety assurance; security engineering; safety and assurance cases; machine learning applications; safety validation and simulation; and fault tolerance.
Editors and Affiliations
Bibliographic Information
Book Title: Computer Safety, Reliability, and Security
Book Subtitle: 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings
Editors: Ibrahim Habli, Mark Sujan, Friedemann Bitsch
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-83903-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2021
Softcover ISBN: 978-3-030-83902-4Published: 08 August 2021
eBook ISBN: 978-3-030-83903-1Published: 25 August 2021
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 278
Number of Illustrations: 37 b/w illustrations, 87 illustrations in colour
Topics: Computer Systems Organization and Communication Networks, Software Engineering, Information Systems Applications (incl. Internet), Robotics, Control Structures and Microprogramming, Systems and Data Security