Главная Jean-Louis Boulanger

Автор: Jean-Louis Boulanger

Safety of Computer Architectures.

Safety of Computer Architectures

Static Analysis of Software. The Abstract Interpretation.

Static Analysis of Software. The Abstract Interpretation

Formal Methods. Industrial Use from Model to the Code.

Formal Methods. Industrial Use from Model to the Code

Industrial Use of Formal Methods. Formal Verification.

Industrial Use of Formal Methods. Formal Verification