Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL
From MaRDI portal
Publication:5046486
DOI10.1007/S11432-015-5346-2zbMath1497.93158OpenAlexW2184985296MaRDI QIDQ5046486
No author found.
Publication date: 28 October 2022
Published in: Science China Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11432-015-5346-2
Cites Work
This page was built for publication: Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL