Early Verification and Validation of Mission Critical Systems

Early Verification and Validation of Mission Critical Systems

C. Ponsard, P. Massonet, A. Rifaut, J.F. Molderez, A. van Lamsweerde and H. Tran Van, Early Verification and Validation of Mission Critical Systems, 9th Formal Methods for Industrial Critical Systems, Linz (Austria), September 2004.

Date: 12 septembre 2004

Publication: Publications scientifiques 

Expertises:

Ingénierie des systèmes IT complexes 

Co-création pour le numérique 

A propos du projet: FAUST