logologo
side-bannerside-banner
Formal Methods. Industrial Use from Model to the Code
Formal Methods. Industrial Use from Model to the Code

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

Formal Methods. Industrial Use from Model to the Code

текст

3

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

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

Safety Management of Software-based Equipment
Safety Management of Software-based Equipment
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
Formal Methods. Industrial Use from Model to the Code
Formal Methods. Industrial Use from Model to the Code
Jean-Louis Boulanger
Static Analysis of Software. The Abstract Interpretation
Static Analysis of Software. The Abstract Interpretation
Jean-Louis Boulanger
Industrial Use of Formal Methods. Formal Verification
Industrial Use of Formal Methods. Formal Verification
Jean-Louis Boulanger
CENELEC 50128 and IEC 62279 Standards
CENELEC 50128 and IEC 62279 Standards
Jean-Louis Boulanger