Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings / edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch.
2017
QA76.63
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings / edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch.
ISBN
9783319662664
331966266X
9783319662657
331966266X
9783319662657
Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Language
English
Description
1 online resource (xix, 344 pages) : illustrations.
Item Number
10.1007/978-3-319-66266-4 doi
Call Number
QA76.63
Dewey Decimal Classification
005.1015113
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Series
Lecture Notes in Computer Science ; 10488.
Available in Other Form
Print version: 9783319662657
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
Dynamic fault trees
Safety case and argumentation
Formal verification
Autonomous systems
Static analysis and testing
Safety analysis and assessment
Safety and security.
Safety case and argumentation
Formal verification
Autonomous systems
Static analysis and testing
Safety analysis and assessment
Safety and security.