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

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

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

Certifiable Software Applications 1: Main Processes is dedicated to the establishment of quality ...

An einem sonnigen Morgen heiratet Julie David den Mann, den sie seit ihrer Kindheit kennt und lie...

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

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

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

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

Data Validation

Certifiable Software Applications 4: Upward Cycle presents the upward phase of development of a s...

Although formal analysis programming techniques may be quite old, the introduction of formal meth...

Hochmut, Geiz, Wollust, Zorn, Völlerei, Neid, Faulheit: Das sind die sieben Todsünden, hier filmi...

An einem sonnigen Morgen heiratet Julie David den Mann, den sie seit ihrer Kindheit kennt und lie...