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.
Tonetta, Stefano. editor.; Schoitsch, Erwin. editor.; Bitsch, Friedemann. editor.
2017
QA76.63
Available Online

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
DOI https://doi.org/10.1007/978-3-319-66266-4
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
Added Author Tonetta, Stefano. editor.
Schoitsch, Erwin. editor.
Bitsch, Friedemann. editor.
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
Dynamic fault trees
Safety case and argumentation
Formal verification
Autonomous systems
Static analysis and testing
Safety analysis and assessment
Safety and security.

Browse Subjects

Show more subjects...

Statistics

from
to
Export