Все книги автора 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...