𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Model Checking Software Architecture Design

✍ Scribed by Zhang, Jiexin; Liu, Yang; Sun, Jing; Dong, Jin Song; Sun, Jun

Book ID: 126848553
Publisher: IEEE
Year: 2012
Weight: 307 KB
Category: Article
ISBN: 0769549128
DOI: 10.1109/hase.2012.12

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2012 IEEE 14th International Sympo

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Exception Handling Defects: An Empirical Study

✍ Sawadpong, Puntitra; Allen, Edward B.; Williams, Byron J. 📂 Article 📅 2012 🏛 IEEE ⚖ 332 KB

[IEEE 2012 IEEE 14th International Sympo

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Fast Abstract: Software Selection Based on Quantitative Security Risk Assessment

✍ Das, Ruma; Sarkani, Shahram; Mazzuchi, Thomas A. 📂 Article 📅 2012 🏛 IEEE ⚖ 148 KB

[IEEE 2012 IEEE 14th International Sympo

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Device Mechanism: A Structured Device Driver Development Approach

✍ Silva, Raul Schmidlin Fajardo; Marcus, Guillermo 📂 Article 📅 2012 🏛 IEEE ⚖ 247 KB

[IEEE 2012 IEEE 14th International Sympo

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Communication Efficient Oblivious Transfer Using Elliptic Curves

✍ Parakh, Abhishek 📂 Article 📅 2012 🏛 IEEE ⚖ 137 KB

[IEEE 2012 IEEE 14th International Sympo

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - An Autonomic Reliability Improvement System for Cyber-Physical Systems

✍ Wu, Leon; Kaiser, Gail 📂 Article 📅 2012 🏛 IEEE ⚖ 520 KB

[IEEE 2012 IEEE 14th International Sympo

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Towards Reliable Smart Microgrid Behavior Using Runtime Model Synthesis

✍ Allison, Mark; Morris, Karl A.; Yang, Zhenyu; Clarke, Peter J.; Costa, Fabio M. 📂 Article 📅 2012 🏛 IEEE ⚖ 712 KB