Computer Safety, Reliability, and Security, 1st ed. 2016 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings Programming and Software Engineering Series
Langue : Anglais
Coordonnateurs : Skavhaug Amund, Guiochet Jérémie, Bitsch Friedemann
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.
Includes supplementary material: sn.pub/extras
Date de parution : 09-2016
Ouvrage de 324 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panierThèmes de Computer Safety, Reliability, and Security :
Mots-clés :
cloud computing; cybersecurity; formal verification; human-robot collaboration; safety analysis; anomaly detection; application data; automotive software; context aware; dependability; fraud detection; malware; patterns; quality; risk asessment; security analysis; service oriented architecture; SVM; system safety; verification
© 2024 LAVOISIER S.A.S.
