C. Ponsard, P. Massonet, J.F. Molderez, A. Rifaut, A. van Lamsweerde, Tran Van Hung, ’Early verification and validation of mission critical systems’, in Journal of Formal Methods in System Design (Springer), vol 30, nr 3, June 2007.
Date: 13 juin 2007
Publication: Publications scientifiques ⊕
Expertises:
Ingénierie des systèmes IT complexes ⊕
Co-création pour le numérique ⊕
A propos du projet: FAUST ⊕
Auteurs
