La sécurité des systèmes programmable repose sur une bonne architecture matérielle et sur un logi...

Ce livre est la reprise de la thèse que j'ai présenté en 2006 et qui est le résultat de plusieurs...

Louis de Funes (BR) Querkopf, Der Min: 97 DD2.0 WS

At present the literature gives students and researchers of the very general books on the formal ...

Certifiable Software Applications 2: Support Processes explains the process to achieve a certifia...

It is currently quite easy for students or designers engineers to find very general books on the ...

A review of the principles of the safety of software-based equipment, this book begins by present...

CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the rai...

This book presents real-world examples of formal techniques in an industrial context. It covers f...

B Method presents the language needed, semantics and methodologies required to use the method on ...

Certifiable Software Applications 3: Downward Cycle describes the descending phase of the creatio...

A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method...