Computer Safety, Reliability, and Security, 2014 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings Programming and Software Engineering Series
Coordonnateurs : Bondavalli Andrea, Di Giandomenico Felicita
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.
Date de parution : 08-2014
Ouvrage de 356 p.
15.5x23.5 cm