Formal methods for safety and security: case studies for aerospace applications
Éditeur :
Springer Verlag, Singapore
ISBN :
9789811041204
Date de publication :
22 nov. 2017
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Singapour
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering.