Vérification par Model Checking des commandes de vol
Le Test. 2. Aperçu du BMC (Bounded-model checking). 3. Présentation de Event-B. 4. Étude de cas : ... pas pour objectif de corriger les fautes.Télécharger Vérification par Model Checking des commandes de vol pdf
