Accueil > FR > Actualités > Publications > Early verification and validation of mission critical systems


Early verification and validation of mission critical systems

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.