Medias
Formal Methods Applied to Industrial Complex Systems
This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, 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 “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of peopl
...
Spécifications techniques
Date de sortie | 22 juillet 2014 |
Langue | Français |
Éditeur | Wiley-ISTE |
Accessibilité | Aucune information disponible concernant l'accessibilité pour le format PDF |