bannerbannerbanner
logologo
Formal Methods. Industrial Use from Model to the Code
Jean-Louis Boulanger
Formal Methods. Industrial Use from Model to the Code

Полная версия

Formal Methods. Industrial Use from Model to the Code

Jean-Louis Boulanger
текст

0

0
Жанр: техническая литература
Язык: Английский
Год издания: 2018
Добавлена:
О книге
Читать онлайн
Настройки чтения
Размер шрифта
Высота строк
Поля
На страницу:
Перейти
из
Конец ознакомительного фрагмента
Купить и скачать всю книгу
На страницу:
Перейти
из

Другие книги автора

Industrial Use of Formal Methods. Formal Verification
Industrial Use of Formal Methods. Formal Verification
Jean-Louis Boulanger
Formal Methods. Industrial Use from Model to the Code
Formal Methods. Industrial Use from Model to the Code
Jean-Louis Boulanger
Safety Management of Software-based Equipment
Safety Management of Software-based Equipment
Jean-Louis Boulanger
CENELEC 50128 and IEC 62279 Standards
CENELEC 50128 and IEC 62279 Standards
Jean-Louis Boulanger
Formal Methods Applied to Industrial Complex Systems
Formal Methods Applied to Industrial Complex Systems
Jean-Louis Boulanger
Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method
Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method
Jean-Louis Boulanger
Safety of Computer Architectures
Safety of Computer Architectures
Jean-Louis Boulanger
Static Analysis of Software. The Abstract Interpretation
Static Analysis of Software. The Abstract Interpretation
Jean-Louis Boulanger