𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion (SSIRI-C) - Singapore, Singapore (2010.06.9-2010.06.11)] 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion - Formal Analysis for Stateflow Diagrams

✍ Scribed by Chen, Chunqing

Book ID: 120160244
Publisher: IEEE
Year: 2010
Weight: 213 KB
Category: Article
ISBN: 1424476445
DOI: 10.1109/SSIRI-C.2010.29

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 Fourth International Conferen

[IEEE 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion (SSIRI-C) - Singapore, Singapore (2010.06.9-2010.06.11)] 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion - The Problem of Usable Binary Authentication

✍ Wu, Yongzheng; Yap, Roland H. C. 📂 Article 📅 2010 🏛 IEEE ⚖ 146 KB

[IEEE 2010 Fourth International Conferen

[IEEE 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion (SSIRI-C) - Singapore, Singapore (2010.06.9-2010.06.11)] 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion - Classification of Static Analysis-Based Buffer Overflow Detectors

✍ Shahriar, Hossain; Zulkernine, Mohammad 📂 Article 📅 2010 🏛 IEEE ⚖ 334 KB

[IEEE 2010 Fourth International Conferen

[IEEE 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion (SSIRI-C) - Singapore, Singapore (2010.06.9-2010.06.11)] 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion - An Automatic Approach to Verify Sensor Network Systems

✍ Zheng, Man Chun 📂 Article 📅 2010 🏛 IEEE ⚖ 306 KB

[IEEE 2010 Fourth International Conferen

[IEEE 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement - Singapore, Singapore (2010.06.9-2010.06.11)] 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement - PhishTester: Automatic Testing of Phishing Attacks

✍ Shahriar, Hossain; Zulkernine, Mohammad 📂 Article 📅 2010 🏛 IEEE ⚖ 530 KB

[IEEE 2010 Fourth International Conferen

[IEEE 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement - Singapore, Singapore (2010.06.9-2010.06.11)] 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement - Failure Type-Aware Reliability Assessment with Component Failure Dependency

✍ Mohamed, Atef; Zulkernine, Mohammad 📂 Article 📅 2010 🏛 IEEE ⚖ 390 KB

[IEEE 2010 Fourth International Conferen

[IEEE 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement - Singapore, Singapore (2010.06.9-2010.06.11)] 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement - Scalable V&V Effort Estimation for Ultra-Large-Scale Systems

✍ Budnik, Christof J.; Subramanyan, Rajesh; Tanikella, Raj 📂 Article 📅 2010 🏛 IEEE ⚖ 555 KB