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 de systèmes IT complexes 

A propos du projet: FAUST