Computer Safety, Reliability, and Security

33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

AvAndrea Bondavalli,Felicita Di Giandomenico

Häftad, Engelska, 2014

Del 8666 i serien Lecture Notes in Computer Science

556 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

The papers are organized in topical sections on fault injection techniques, verification and validation techniques, automotive systems, coverage models and mitigation techniques, assurance cases and arguments, system analysis, security and trust, notations/languages for safety related aspects, safety and security.

Produktinformation

Utgivningsdatum:2014-08-20
Mått:155 x 235 x 21 mm
Vikt:575 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:356
Förlag:Springer International Publishing AG
ISBN:9783319105055

Utforska kategorier

Innehållsförteckning

Verification &Validation Techniques.- Automotive Systems.- Coverage Models and Mitigation Techniques.- Assurance cases and arguments.- System Analysis.- Security and Trust.- Notations/Languages for Safety-related aspects.- Safety and Security.