共 159 条
- [92] Liu ZT, 2018, IEEE INFOCOM SER, P1, DOI 10.1109/INFOCOM.2018.8486219
- [94] Drivers and Barriers to Implementation of Connected, Automated, Shared, and Electric Vehicles: An Agenda for Future Research [J]. IEEE ACCESS, 2021, 9 : 22195 - 22213
- [95] 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
- [96] The revolution of train control system in JAPAN [J]. ISADS 2005: International Symposium on Autonomous Decentralized Systems,Proceedings, 2005, : 599 - 606
- [97] High assurance technologies for autonomous decentralized train control system [J]. SIXTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, 2001, : 220 - 227
- [98] Mohammed T. S., 2014, INT J ADV RES ELECT, V3, P10417
- [99] Morais V.A., 2021, EAI Endorsed Transactions on Energy Web, V18, DOI [10.4108/eai.14-1-2021.168136, DOI 10.4108/EAI.14-1-2021.168136]
- [100] Mordor Intelligence, 2020, RAIL FREIGHT TRANSPO