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...

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...

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

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

The existing literature currently available to students and researchers is very general, covering...

Data Validation