Simon Collart-Dutilleul
IdRefMots clés
FR |
EN
B (méthode formelle)
Sécurité ferroviaire
Petri, Réseaux de
Commande robuste
Méthodes formelles
Ingénierie des exigences
Méthodes formelles (informatique)
Méthode B
Systèmes échantillonnés
Enclenchements (chemins de fer)
Signal, Théorie du (télécommunications)
Passages à niveau
Fabrication, Systèmes flexibles de
Commande de processus
Conteneurs
Ordonnancement (gestion)
Modèle Or-BAC
Transports ferroviaires
Architecture de haut niveau
Exigence