共 159 条
[93]
Liu ZT, 2018, IEEE INFOCOM SER, P1, DOI 10.1109/INFOCOM.2018.8486219
[96]
Marrone Stefano, 2012, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. Proceedings of the 5th International Symposium, ISoLA 2012, P231, DOI 10.1007/978-3-642-34032-1_23
[97]
The revolution of train control system in JAPAN
[J].
ISADS 2005: International Symposium on Autonomous Decentralized Systems,Proceedings,
2005,
:599-606
[98]
High assurance technologies for autonomous decentralized train control system
[J].
SIXTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING,
2001,
:220-227
[99]
Mohammed T. S., 2014, INT J ADV RES ELECT, V3, P10417
[100]
Morais V.A., 2021, EAI Endorsed Transactions on Energy Web, V18, DOI DOI 10.4108/EAI.14-1-2021.168136