𝔖 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 - Model-based generation of safety test-cases for Onboard systems

✍ Scribed by Li, Chenling; Li, KaiCheng; Tang, Tao; Lv, JiDong; Huang, Ling

Book ID: 127031664
Publisher: IEEE
Year: 2013
Weight: 379 KB
Category: Article
ISBN: 1467352764
DOI: 10.1109/icirt.2013.6696292

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 - Model-based test generation techniques verifying the on-board module of a satellite-based train control system model

✍ Wu, Daohua; Schnieder, Eckehard; Krause, Jan 📂 Article 📅 2013 🏛 IEEE ⚖ 439 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

[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 - Software hardware co-simulation and co-verification in safety critical system design

✍ Shi, Jin; Liu, Weichao; Jiang, Ming; Che, HuiJun; Chen, Lei 📂 Article 📅 2013 🏛 IEEE ⚖ 267 KB