Автор: Jean-Louis Boulanger
Название: Formal Methods Applied to Industrial Complex Systems
Категория: Компьютеры/Программирование
Издательство: John Wiley & Sons Limited
ISBN: John Wiley & Sons Limited
Тип: book
Описание: 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 o
Доступна для скачивания после оплаты
