Computer Safety, Reliability, and Security, 1st ed. 2015 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings Programming and Software Engineering Series
Date de parution : 11-2015
Ouvrage de 486 p.
15.5x23.5 cm
Thèmes de Computer Safety, Reliability, and Security :
Mots-clés :
Automotive software; Computer programming; Critical infrastructure protection; Cyber-physical systems; Dependable systems; Embedded systems; Formal methods; Medical computing; Model checking; Monitoring; Safety critical systems; Safety guidelines; standards and certification; Safety patterns; Security attacks; Security engineering; Software and application security; Software fault tolerance; Software reliability; Software safety; Software verification and validation