Kniha Formal Methods Applied to Complex Systems - Implementation of the B Method Jean-Louis Boulanger

Formal Methods Applied to Complex Systems - Implementation of the B Method

Jazyk: Angličtina
Väzba: Pevná
Dostupnosť: Skladom u dodávateľa v malom množstve
Odosielame za 11-15 dní
185.30
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, C...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Pevná
Vydalo
2014
Stránok
480
EAN
9781848216327
ISBN
1848216327
Enbook ID
05103778
Hmotnosť
848
Rozmery
241 x 165 x 30

Kompletný popis

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

Mohlo by vás zaujímať

Lay Morals and Other Papers

Robert Louis Stevenson
9.48
20.63
15.45
15.25

Distorted

Christy Barritt
12.12

Glimpses of God's Grace

Rev Dr Cynthia Huling Hummel
15.55
20.05

Search for Jack London

Jerome V Lofgren
11.63
42.75

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

12.12
17.70

Esto no es una escuela

Maria Juliana Gainza
25.13
13.79
8.80
26.41

Os cogumelos nos ecosistemas forestais galegos

FRANCISCO J. FERNANDEZ DE ANA-MAGAN
38.64
12.02