Le moteur de recherche
des thèses françaises
Philippe Bon
IdRefMots clés
FR |
EN
Sécurité ferroviaire
B (méthode formelle)
Réseaux de Petri
Méthodes formelles (informatique)
Méthodes formelles
Méthode B
Spécifications formelles
Enclenchements (chemins de fer)
Théorie du signal (télécommunications)
Ingénierie des exigences
Spécifications
Systèmes échantillonnés
Modèle Or-BAC
Transports ferroviaires
Systèmes d'enclenchement ferroviaire
Diagrammes de relais
Modèles logiques
Sûreté de fonctionnement
Réseaux de Petri temporels
Certification