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

Main Author:	Boulanger, Jean-Louis
Format:	eBook
Language:	English
Published:	Wiley-Blackwell 22.07.2014
Series:	Computer engineering series
Subjects:	B method (Computer science) Computer science Formal methods (Computer science)
ISBN:	1848217099, 9781848217096
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!