Kenza Kraibi
IdRefMots clés
FR |
EN
Décomposition
Raffinement
Modélisation Formelle
Vérification et validation
B Événementiel
Système ferroviaire
Méthodes formelles (informatique)
Vérification de modèles (informatique)
B (méthode formelle)
Traitement d'événements (informatique)
Analyse des systèmes
Décomposition (méthode mathématique)
Transports ferroviaires
Sécurité ferroviaire