La validation fonctionnelle des logiciels de sécurité du métro automatique MAGGALY.


Article

STUPARU A. | BARANOWSKI F. | OZELLO P.

Publié dans : Recherche. Transports. Sécurité, no 42, mars 1994, pp. 15-26, ill., bibliogr.

Suggestions

Du même auteur

Analyse de sécurité par réseau de Petri.

Article | EL KOURSI M. | 1992

Chargement des enrichissements...