Examens corriges

Modélisation et vérification

plus coûteuses) Model-Checking. - Générique, Automatique (Preuve manuelle). - Exhaustif (Test partiel). - Confiance (? Critiques). Evolutions.





Télécharger Modélisation et vérification pdf