Formal Methods Applied to Complex Systems.

Formal Methods Applied to 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...

Full description

Saved in:
Bibliographic Details
Main Author: Boulanger, Jean-Louis
Format: eBook
Language:English
Published: Wiley-ISTE, 2014.
Series:Computer engineering series.
Subjects:
Computer-aided design.
Computer engineering.
Systems engineering.
Computer organization.
computer-aided designs (visual works)
systems engineering.
computer-aided design (process)
Computer organization
Computer-aided design
Computer engineering
Systems engineering
Online Access:Click for online access
Login for hold information

‌

Click for online access

Online

Holdings details from Online
Status: Available

Similar Items