|
[BMBO19]
Abdelhakim Baouya, Otmane Ait Mohamed, Djamal Bennouar and Samir Ouchani.
Safety analysis of train control system based on model-driven design methodology.
Computers in Industry.
2019.
[Performs safety analysis of train control systems using AADL and probabilistic model checking with PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|