Medias
Formal Methods Applied to Complex Systems
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of experience on the use of these “formal methods” (such as proof and model-checking) in industrial examples of complex systems. It is based on the experience of people who are currently involved in the creation and evaluation
...
Spécifications techniques
Date de sortie | 09 juillet 2014 |
Langue | Français |
Éditeur | Wiley-ISTE |
Accessibilité | Aucune information disponible concernant l'accessibilité pour le format PDF |