La validation fonctionnelle des logiciels de sécurité du métro automatique MAGGALY
Recherche, transports, sécurité ; 42 ; 15-26
1994
Aufsatz (Zeitschrift)
Französisch
BKL: | 55.80 / 55.80 Verkehrswesen, Transportwesen: Allgemeines | |
Lokalklassifikation TIB: | 250/7010/7015 |
La validation des logiciels de sécurité de Météor par la RATP
Online Contents | 1999
|La validation des logiciels de sécurité de Météor par la RATP
IuD Bahn | 1999
|Securite fonctionnelle: on commence a y voir plus clair
British Library Online Contents | 2005
L'âge de maturité pour le métro automatique
IuD Bahn | 2012
|Logiciels d estimation previsionelle de fiabilite, disponibilite et securite de systemes
Kraftfahrwesen | 1985
|