Yliès Carlo Falcone
IdRefMots clés
FR |
EN
Méthodes formelles
Vérification à l’exécution
Systèmes informatiques -- Mesures de sûreté
Analyse des traces
Diagnostic
Micro-contrôleur
Compréhension du système
Résumé de trace
Localisation de faute(s)
Jeux
Automates temporisés
Enforcement à l’exécution
Automates
Logiciels -- Vérification
Surveillance
Système distribué
Composant
Communication
Systèmes informatiques
Composants électroniques