Model-Based Safety and Assessment, 1st ed. 2017 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings Programming and Software Engineering Series
Coordonnateurs : Bozzano Marco, Papadopoulos Yiannis
Includes supplementary material: sn.pub/extras
Date de parution : 08-2017
Ouvrage de 273 p.
15.5x23.5 cm
Thèmes de Model-Based Safety and Assessment :
Mots-clés :
Safety critical systems; Reliability; Formal Specifications; Formal Methods; Fault Models; Fault Injection; Dependability; Requirements Specification; Requirements Analysis; Safety Assessment; Model-Based Design; software engineering; embedded systems; model checking; software architecture; algorithm analysis and problem complexity