Christel Seguin
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Fiabilité
Architecture des réseaux d'ordinateurs
Évaluation en ligne
Maintenance
Modélisation stochastique
Planification mission
Système avionique
Avions
Analyse stochastique
Entretien
Méthode formelle
Event-B
Raffinement
Architectures tolérantes aux fautes
Sécurité
Systèmes informatiques -- Mesures de sûreté
Systèmes temps réel
Méthodes formelles
Vérification symbolique