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 ⊕
Auteurs
