𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) - Boca Raton, FL, USA (2011.11.10-2011.11.12)] 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - An Early Design Stage UML-Based Safety Analysis Approach for High Assurrance Software Systems

✍ Scribed by Mutha, Chetan; Smidts, Carol

Book ID: 126807731
Publisher: IEEE
Year: 2011
Weight: 256 KB
Category: Article
ISBN: 0769546153
DOI: 10.1109/hase.2011.37

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 IEEE 13th International Sympo

[IEEE 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) - Boca Raton, FL, USA (2011.11.10-2011.11.12)] 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - On High-Assurance Scientific Workflows

✍ Vouk, Mladen A.; Mouallem, Pierre A. 📂 Article 📅 2011 🏛 IEEE ⚖ 593 KB

[IEEE 2011 IEEE 13th International Sympo

[IEEE 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) - Boca Raton, FL, USA (2011.11.10-2011.11.12)] 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - Integrating Legacy Applications for High Availability: A Case Study

✍ Kanso, A.; Khendek, F.; Mishra, A.; Toeroe, M. 📂 Article 📅 2011 🏛 IEEE ⚖ 325 KB

[IEEE 2011 IEEE 13th International Sympo

[IEEE 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) - Boca Raton, FL, USA (2011.11.10-2011.11.12)] 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - Reducing State Explosion with Context Modeling for Model-Checking

✍ Dhaussy, Philippe; Roger, Jean-Charles; Boniol, Frederic 📂 Article 📅 2011 🏛 IEEE ⚖ 610 KB

[IEEE 2011 IEEE 13th International Sympo

[IEEE 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) - Boca Raton, FL, USA (2011.11.10-2011.11.12)] 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - Validation of Object Recognition Framework on Android Mobile Platform

✍ Tyagi, Vivek; Pandya, A.S.; Agarwal, Ankur; Alhalabi, Bassem 📂 Article 📅 2011 🏛 IEEE ⚖ 444 KB

[IEEE 2011 IEEE 13th International Sympo

[IEEE 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) - Boca Raton, FL, USA (2011.11.10-2011.11.12)] 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - Regression Testing of Component-Based Software: A Systematic Practise Based on State Testing

✍ Tao, Chuanqi; Li, Bixin; Gao, Jerry 📂 Article 📅 2011 🏛 IEEE ⚖ 288 KB

[IEEE 2011 IEEE 13th International Sympo

[IEEE 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) - Boca Raton, FL, USA (2011.11.10-2011.11.12)] 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - Personal Health Record System and Integration Techniques with Various Electronic Medical Record Systems

✍ Ved, Vishesh; Tyagi, Vivek; Agarwal, Ankur; Pandya, A.S. 📂 Article 📅 2011 🏛 IEEE ⚖ 174 KB