Formal Methods Applied to Industria - E-book

eBook

Formal Methods Applied To Industrial Complex Systems - ENG

Jean-Louis Boulanger

eBook

$3,440.00

Disponible

Información adicional
Sinopsis

ISBN:	9781119004776
Formato:	ePub
Idioma:	Inglés
Editorial:	Wiley Global Research (STMS)
Tema:	Computadoras
Subtema:	Ingeniería informática
Año de publicación:	20140709

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 of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.).

eBooks