Le moteur de recherche
des thèses françaises
Rahma Ben Ayed
IdRefMots clés
FR |
EN
Processus workflow
Modélisation
Vérification
Réseaux de Petri
Model Checking
Flux de travail
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