𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2013 IEEE International Conference on Intelligent Rail Transportation (ICIRT) - Beijing, China (2013.08.30-2013.09.1)] 2013 IEEE International Conference on Intelligent Rail Transportation Proceedings - Software hardware co-simulation and co-verification in safety critical system design

✍ Scribed by Shi, Jin; Liu, Weichao; Jiang, Ming; Che, HuiJun; Chen, Lei

Book ID: 124168601
Publisher: IEEE
Year: 2013
Weight: 267 KB
Category: Article
ISBN: 1467352764
DOI: 10.1109/ICIRT.2013.6696270

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2013 IEEE International Conference

[IEEE 2013 IEEE International Conference on Intelligent Rail Transportation (ICIRT) - Beijing, China (2013.08.30-2013.09.1)] 2013 IEEE International Conference on Intelligent Rail Transportation Proceedings - Dynamic simulation and performance optimization of wireless communication in urban rail transportation

✍ Wei, Wen; Shi, Jin; Jiang, Ming; Che, Huijun; Chen, Lei 📂 Article 📅 2013 🏛 IEEE ⚖ 358 KB

[IEEE 2013 IEEE International Conference

[IEEE 2013 IEEE International Conference on Intelligent Rail Transportation (ICIRT) - Beijing, China (2013.08.30-2013.09.1)] 2013 IEEE International Conference on Intelligent Rail Transportation Proceedings - The design and implementation of the metro driving simulation system based on virtual reality

✍ Wang, Zhurong; Liu, Yang; Hei, Xinhong; Xie, Guo 📂 Article 📅 2013 🏛 IEEE ⚖ 333 KB

[IEEE 2013 IEEE International Conference

[IEEE 2013 IEEE International Conference on Intelligent Rail Transportation (ICIRT) - Beijing, China (2013.08.30-2013.09.1)] 2013 IEEE International Conference on Intelligent Rail Transportation Proceedings - Model-based generation of safety test-cases for Onboard systems

✍ Li, Chenling; Li, KaiCheng; Tang, Tao; Lv, JiDong; Huang, Ling 📂 Article 📅 2013 🏛 IEEE ⚖ 379 KB

[IEEE 2013 IEEE International Conference

[IEEE 2013 IEEE International Conference on Intelligent Rail Transportation (ICIRT) - Beijing, China (2013.08.30-2013.09.1)] 2013 IEEE International Conference on Intelligent Rail Transportation Proceedings - Research on distributed simulation framework of train control system based on SOA

✍ Chen, Jianqiu; Tang, Tao 📂 Article 📅 2013 🏛 IEEE ⚖ 142 KB

[IEEE 2013 IEEE International Conference

[IEEE 2013 IEEE International Conference on Intelligent Rail Transportation (ICIRT) - Beijing, China (2013.08.30-2013.09.1)] 2013 IEEE International Conference on Intelligent Rail Transportation Proceedings - Optimal train schedule with headway and passenger flow dynamic models

✍ Sun, Xubin; Zhang, Shaobo; Dong, Hairong; Zhu, Hainan 📂 Article 📅 2013 🏛 IEEE ⚖ 666 KB

[IEEE 2013 IEEE International Conference

[IEEE 2013 IEEE International Conference on Intelligent Rail Transportation (ICIRT) - Beijing, China (2013.08.30-2013.09.1)] 2013 IEEE International Conference on Intelligent Rail Transportation Proceedings - Safety assessment of COTS RTOS based computer platform applied in train control system

✍ Zhou, Guo; Zhao, Huibing; Quan, Hongyu 📂 Article 📅 2013 🏛 IEEE ⚖ 651 KB