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

Подробнее...