logologo
side-bannerside-banner
Industrial Use of Formal Methods. Formal Verification
Industrial Use of Formal Methods. Formal Verification

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

Industrial Use of Formal Methods. Formal Verification

текст

4

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
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
Static Analysis of Software. The Abstract Interpretation
Static Analysis of Software. The Abstract Interpretation
Jean-Louis Boulanger
Safety of Computer Architectures
Safety of Computer Architectures
Jean-Louis Boulanger
CENELEC 50128 and IEC 62279 Standards
CENELEC 50128 and IEC 62279 Standards
Jean-Louis Boulanger