Téléchargez le livre : Formal Methods Applied to Industrial Complex Systems

Formal Methods Applied to Industrial Complex Systems

de

Éditeur :

Wiley-ISTE


Paru le : 2014-07-09

eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
197,23 €
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description
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.).
Pages
480 pages
Collection
n.c
Parution
2014-07-09
Marque
Wiley-ISTE
EAN papier
9781848216327
EAN PDF
9781119004844
Informations sur l'ebook
Nombre pages copiables
0
Nombre pages imprimables
480
Taille du fichier
10885 Ko
Prix
197,23 €
EAN EPUB
9781119004776
Informations sur l'ebook
Nombre pages copiables
0
Nombre pages imprimables
480
Taille du fichier
12380 Ko
Prix
197,23 €

Suggestions personnalisées