Czytaj tylko na LitRes

Książki nie można pobrać jako pliku, ale można ją czytać w naszej aplikacji lub online na stronie.

Основной контент книги Formal Methods Applied to Industrial Complex Systems
Tekst PDF

Objętość 478 stron

0+

Formal Methods Applied to Industrial Complex Systems

Czytaj tylko na LitRes

Książki nie można pobrać jako pliku, ale można ją czytać w naszej aplikacji lub online na stronie.

870,26 zł

O książce

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

Gatunki i tagi

Zaloguj się, aby ocenić książkę i zostawić recenzję
Książka «Formal Methods Applied to Industrial Complex Systems» — czytaj online na stronie. Zostaw komentarze i recenzje, głosuj na ulubione.
Ograniczenie wiekowe:
0+
Data wydania na Litres:
06 lipca 2018
Objętość:
478 str.
ISBN:
9781119004844
Całkowity rozmiar:
11 МБ
Całkowita liczba stron:
478
Wydawca:
Właściciel praw:
John Wiley & Sons Limited
Audio
Średnia ocena 4,9 na podstawie 98 ocen
Tekst
Średnia ocena 4,9 na podstawie 351 ocen
Audio
Średnia ocena 4,5 na podstawie 240 ocen
Tekst, format audio dostępny
Średnia ocena 4,7 na podstawie 546 ocen
Tekst
Średnia ocena 4,3 na podstawie 291 ocen
Tekst, format audio dostępny
Średnia ocena 4,9 na podstawie 1950 ocen
Tekst, format audio dostępny
Średnia ocena 4,7 na podstawie 410 ocen