Open AccessMODÉLISATION DE LA SÛRETÉ DE FONCTIONNEMENT DU CAUTRA (Coordinateur AUtomatique du TRafic Aérien) AVEC PRISE EN COMPTE DES DÉFAILLANCES DU MATÉRIEL ET DU LOGICIEL
Author(s) -
M Borrel,
Karama Kanoun,
T Morteveille,
A Peytavin°
Publication year - 1994
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - French
Resource type - Conference proceedings
Subject(s) - humanities , philosophy