Jean-Louis Boulanger

Список книг автора Jean-Louis Boulanger
1

CENELEC 50128 and IEC 62279 Standards

Скачать CENELEC 50128 and IEC 62279 Standards - Jean-Louis Boulanger
Название
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
Автор:
Jean-Louis Boulanger
Серия:
Жанр:
Программирование

Safety Management of Software-based Equipment

Скачать Safety Management of Software-based Equipment - Jean-Louis Boulanger
Название
Safety Management of Software-based Equipment
Автор:
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
Название
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
Название
Safety of Computer Architectures
Автор:
Jean-Louis Boulanger
Серия:
Жанр:
Программирование

Static Analysis of Software. The Abstract Interpretation

Скачать Static Analysis of Software. The Abstract Interpretation - Jean-Louis Boulanger
Название
Static Analysis of Software. The Abstract Interpretation
Автор:
Jean-Louis Boulanger
Серия:
Жанр:
Программирование

Formal Methods. Industrial Use from Model to the Code

Скачать Formal Methods. Industrial Use from Model to the Code - Jean-Louis Boulanger
Название
Formal Methods. Industrial Use from Model to the Code
Автор:
Jean-Louis Boulanger
Серия:
Жанр:
Техническая литература

Industrial Use of Formal Methods. Formal Verification

Скачать Industrial Use of Formal Methods. Formal Verification - Jean-Louis Boulanger
Название
Industrial Use of Formal Methods. Formal Verification
Автор:
Jean-Louis Boulanger
Серия:
Жанр:
Техническая литература
1