Formal methods applied to complex systems : implementation of the B Method /

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...

Full description

Bibliographic Details

Other Authors:	Boulanger, Jean-Louis (Editor)
Format:	eBook
Language:	English
Published:	London : Hoboken, NJ : ISTE ; Wiley, 2014.
Series:	Computer engineering series (London, England)
Subjects:	B method (Computer science) Formal methods (Computer science) Electronic books.
Online Access:	Connect to the full text of this electronic book