𝔖 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 - Verifying the Safety of Xen Security Modules

✍ Scribed by Han, Wei; He, Yeping; Ding, Liping

Book ID: 120311340
Publisher: IEEE
Year: 2011
Weight: 312 KB
Category: Article
ISBN: 1457707810
DOI: 10.1109/SSIRI-C.2011.37

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 - 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 - Integrating DSL-CBI and NuSMV for Modeling and Verifiying Interlocking Systems

✍ Cao, Yan; Lu, Qiuzi; Xu, Tianhua; Tang, Tao; Wang, Haifeng; Xu, Yongcheng 📂 Article 📅 2011 🏛 IEEE ⚖ 543 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 2011 International Conference on S

[IEEE 2011 International Conference on Secure Software Integration and Reliability Improvement (SSIRI) - Jeju Island, Korea (South) (2011.06.27-2011.06.29)] 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Dynamic Service Replacement to Improve Composite Service Reliability

✍ Kim, Jong-Phil; Hong, Jang-Eui 📂 Article 📅 2011 🏛 IEEE ⚖ 272 KB