Все книги автора Jean Louis Boulanger
Найдено 6 книг
CENELEC 50128 and IEC 62279 Standards
CENELEC 50128 and IEC 62279 Standards
CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railwa...
Safety Management for Software-based Equipment
Safety Management for Software-based Equipment
A review of the principles of the safety of software-based equipment, this book begins by presenting...
Static Analysis of Software. The Abstract Interpretation
Static Analysis of Software. The Abstract Interpretation
The existing literature currently available to students and researchers is very general, covering on...
Safety of Computer Architectures
Safety of Computer Architectures
It is currently quite easy for students or designers/engineers to find very general books on the var...
Formal Methods. Industrial Use from Model to the Code
Formal Methods. Industrial Use from Model to the Code
Although formal analysis programming techniques may be quite old, the introduction of formal methods...
Industrial Use of Formal Methods. Formal Verification
Industrial Use of Formal Methods. Formal Verification
At present the literature gives students and researchers of the very general books on the formal tec...