Name: Formal Methods Applied to Industrial Complex Systems
Price: 7797.00 TWD
Availability: InStock
Author: Boulanger, Jean-Louis
ISBN: 9781848216327

Select your country

Americas

Europe

Rest of the world

portada Formal Methods Applied to Industrial Complex Systems

Formal Methods Applied to Industrial Complex Systems

Type

Physical Book

Publisher

Wiley-Iste

Author

Boulanger, Jean-Louis

Topic

Us Gr Iste

Language

English

Pages

480

Format

Hardcover

Dimensions

23.4 x 15.7 x 3.0 cm

Weight

0.82 kg.

ISBN

1848216327

ISBN13

9781848216327

Synopsis "Formal Methods Applied to Industrial Complex Systems"

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

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Formal Methods Applied to Industrial Complex Systems - Boulanger, Jean-Louis

Synopsis "Formal Methods Applied to Industrial Complex Systems"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery