Книга Formal Methods Applied to Industrial Complex Systems Jean-Louis Boulanger

Formal Methods Applied to Industrial Complex Systems

Автор: Jean-Louis Boulanger
Език: Английски език
Корици: С твърди корици
Наличност: Външен склад
Изпращаме след 14-20 дни
209.79 410.32 лв
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, C...

Информация за книгата

Език
Английски език
Корици
Книга - С твърди корици
Издадена
2014
страници
496
EAN
9781848217096
ISBN
1848217099
Enbook ID
05103844
Теглоt
884
Размери
161 x 241 x 32

Пълно описание

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

Може също да ви хареса

Famous Missions of California

William Henry Hudson
13.32 26.04 лв
84.84 165.93 лв

Клиенти, които купиха тази книга, купиха също

21.36 41.77 лв

Eduquer Et Prier

Marion Isvi
62.07 121.40 лв
41.76 81.68 лв