Industrial used of formal method : formal verification /

• Άλλοι συγγραφείς: Boulanger, Jean-Louis
• Μορφή: Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : ISTE ; [2012]; Hoboken, NJ : Wiley, [2012]
• Θέματα: Systems engineering > Data processing.; Computer simulation.; Formal methods (Computer science); Computer software > Verification.; Nondestructive testing.; Electronic books.

"At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the "formal technics" (such proof and model-checking) on industrial examples for t...