Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL - Concepedia

Concepedia

Publication | Closed Access

Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL

25

Citations

6

References

2015

Year

Ehsan Ahmad, Yunwei Dong, Brian Larson, Jidong Lu, Tao Tang, Naijun Zhan

Science China Information Sciences

Railway TrafficEngineeringRail TransportAutomationProcess ControlSystems EngineeringTrain ControlBehavior ModelingControl TechnologyMovement Authority Scenario

References

	Year	Citations

Page 1