Computer Safety, Reliability, and Security

35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch (Herausgeber)

Buch | Softcover

XV, 324 Seiten

2016 | 1st ed. 2016
Springer International Publishing (Verlag)
9783319454764 (ISBN)

Artikel merken

This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on fault injection, safety assurance, formal verification, automotive, anomaly detection and resilience, cyber security, fault trees, and safety analysis.

Erscheinungsdatum	11.10.2016
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Programming and Software Engineering
Zusatzinfo	XV, 324 p. 105 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Anomaly Detection • application data • Applications • automotive software • Cloud Computing • Computer architecture and logic design • Computer programming / software engineering • Computer Science • conference proceedings • context aware • cybersecurity • Dependability • Formal Verification • fraud detection • Human-Robot Collaboration • Informatics • Logics and meanings of programs • Malware • Patterns • quality • Research • risk asessment • Safety Analysis • security analysis • service oriented architecture • SVM • System safety • verification
ISBN-13	9783319454764 / 9783319454764
Zustand	Neuware