Résultats de la recherche

  • fr Compétences ferroviaire

    Vérification des principes et concepts système à l'aide des méthodes formelles et de la preuve CBTC (suivi de trains, anticollision, odométrie, contrôle de vitesse), PMI (preuve de conformité aux directives,...