Jean-Louis Boulanger

Название: CENELEC 50128 and IEC 62279 Standards

Автор: Jean-Louis Boulanger

Серия:

Жанр: Техническая литература

Поробнее

Название: Formal Methods Applied to Industrial Complex Systems

Автор: Jean-Louis Boulanger

Серия:

Жанр: Программирование

Поробнее

Название: Safety Management of Software-based Equipment

Автор: Jean-Louis Boulanger

Серия:

Жанр: Техническая литература

Поробнее

Название: Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method

Автор: Jean-Louis Boulanger

Серия:

Жанр: Программирование

Поробнее

Название: Safety of Computer Architectures

Автор: Jean-Louis Boulanger

Серия:

Жанр: Программирование

Поробнее

Название: Static Analysis of Software. The Abstract Interpretation

Автор: Jean-Louis Boulanger

Серия:

Жанр: Программирование

Поробнее

Название: Formal Methods. Industrial Use from Model to the Code

Автор: Jean-Louis Boulanger

Серия:

Жанр: Техническая литература

Поробнее

Название: Industrial Use of Formal Methods. Formal Verification

Автор: Jean-Louis Boulanger

Серия:

Жанр: Техническая литература

Поробнее