Vérification, validation, certification : approches formelles et ...

A quel moment utiliser des MF ? Pour les spécifications, des méthodes formelles mathématiques sont recommandées car le modèle formel.

Béton Armé I TEC185