Safety analysis of train control system based on model-driven design methodology

Autor: Baouya, Abdelhakim, Ait Mohamed, Otmane, Bennouar, Djamal, Ouchani, Samir
Zdroj: In Computers in Industry February 2019 105:1-16
Databáze: ScienceDirect