Philippe Bon
IdRefMots clés
FR |
EN
Sécurité ferroviaire
B (méthode formelle)
Petri, Réseaux de
Méthodes formelles (informatique)
Méthodes formelles
Méthode B
Spécifications formelles
Enclenchements (chemins de fer)
Signal, Théorie du (télécommunications)
Ingénierie des exigences
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
Sécurité des systèmes