𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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 - Automatic Synthesis of Static Fault Trees from System Models

✍ Scribed by Xiang, Jianwen; Yanoo, Kazuo; Maeno, Yoshiharu; Tadano, Kumiko

Book ID: 120004434
Publisher: IEEE
Year: 2011
Weight: 585 KB
Category: Article
ISBN: 1457707802
DOI: 10.1109/SSIRI.2011.32

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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

[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 - Probabilistic Risk Assessment for Security Requirements: A Preliminary Study

✍ Lee, Seok-Won 📂 Article 📅 2011 🏛 IEEE ⚖ 611 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 - 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 - 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 - 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