Le moteur de recherche
des thèses françaises
Michael Leuschel
IdRefMots clés
FR |
EN
Raffinement
Méthodes formelles
Systèmes corrects par construction
Substitution de systèmes
Systèmes informatiques
Services Web
Décomposition
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
Raffinement et preuve