𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Reliability Improvement Companion - Jeju Island, Korea (South) (2011.06.27-2011.06.29)] 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion - Integrating DSL-CBI and NuSMV for Modeling and Verifiying Interlocking Systems

✍ Scribed by Cao, Yan; Lu, Qiuzi; Xu, Tianhua; Tang, Tao; Wang, Haifeng; Xu, Yongcheng

Book ID: 120529676
Publisher: IEEE
Year: 2011
Weight: 543 KB
Category: Article
ISBN: 1457707810
DOI: 10.1109/SSIRI-C.2011.28

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Reliability Improvement Companion

[IEEE Reliability Improvement Companion - Jeju Island, Korea (South) (2011.06.27-2011.06.29)] 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion - Secure Machine Learning, a Brief Overview

✍ Liao, Xiaofeng; Ding, Liping; Wang, Yongji 📂 Article 📅 2011 🏛 IEEE ⚖ 208 KB

[IEEE Reliability Improvement Companion

[IEEE Reliability Improvement Companion - Jeju Island, Korea (South) (2011.06.27-2011.06.29)] 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion - Verifying the Safety of Xen Security Modules

✍ Han, Wei; He, Yeping; Ding, Liping 📂 Article 📅 2011 🏛 IEEE ⚖ 312 KB

[IEEE Reliability Improvement Companion

[IEEE Reliability Improvement Companion - Jeju Island, Korea (South) (2011.06.27-2011.06.29)] 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion - Static Data Race Detection for Interrupt-Driven Embedded Software

✍ Chen, Rui; Guo, Xiangying; Duan, Yonghao; Gu, Bin; Yang, Mengfei 📂 Article 📅 2011 🏛 IEEE ⚖ 394 KB

[IEEE Reliability Improvement Companion

[IEEE Reliability Improvement Companion - Jeju Island, Korea (South) (2011.06.27-2011.06.29)] 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion - An Embedded Operating System Design for the Lunar Exploration Rover

✍ Qiao, Lei; Yang, Mengfei; Gu, Bin; Yang, Hua; Liu, Bo 📂 Article 📅 2011 🏛 IEEE ⚖ 525 KB

[IEEE Reliability Improvement Companion

[IEEE Reliability Improvement Companion - Jeju Island, Korea (South) (2011.06.27-2011.06.29)] 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion - A Method of Analysis and Verification for Safety-Critical Software Based on Modelling and Testing

✍ Dan, Yu; Shilong, Ma 📂 Article 📅 2011 🏛 IEEE ⚖ 188 KB

[IEEE Reliability Improvement Companion

[IEEE Reliability Improvement Companion - Jeju Island, Korea (South) (2011.06.27-2011.06.29)] 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion - A Methodology of Model-Based Testing for AADL Flow Latency in CPS

✍ Zhu, Yufeng; Dong, Yunwei; Ma, Chunyan; Zhang, Fan 📂 Article 📅 2011 🏛 IEEE ⚖ 481 KB