𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE) - San Jose, CA, USA (2010.11.3-2010.11.4)] 2010 IEEE 12th International Symposium on High Assurance Systems Engineering - A UML-Based Domain Specific Modeling Language for the Availability Management Framework

✍ Scribed by Salehi, Pejman; Hamoud-Lhadj, Abdelwahab; Colombo, Pietro; Khendek, Ferhat; Toeroe, Maria

Book ID: 126768255
Publisher: IEEE
Year: 2010
Weight: 492 KB
Category: Article
ISBN: 142449091X
DOI: 10.1109/HASE.2010.21

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 IEEE 12th International Sympo

[IEEE 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE) - San Jose, CA, USA (2010.11.3-2010.11.4)] 2010 IEEE 12th International Symposium on High Assurance Systems Engineering - Proved Metamodels as Backbone for Software Adaptation

✍ Barbier, Franck; Ballagny, Cyril 📂 Article 📅 2010 🏛 IEEE ⚖ 481 KB

[IEEE 2010 IEEE 12th International Sympo

[IEEE 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE) - San Jose, CA, USA (2010.11.3-2010.11.4)] 2010 IEEE 12th International Symposium on High Assurance Systems Engineering - Low-Cost Secret-Sharing in Sensor Networks

✍ Bertier, Marin; Mostefaoui, Achour; Tredan, Gilles 📂 Article 📅 2010 🏛 IEEE ⚖ 405 KB

[IEEE 2010 IEEE 12th International Sympo

[IEEE 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE) - San Jose, CA, USA (2010.11.3-2010.11.4)] 2010 IEEE 12th International Symposium on High Assurance Systems Engineering - A Stateful Approach to Testing Monitors in Multithreaded Programs

✍ Carver, Richard H.; Lei, Jeff 📂 Article 📅 2010 🏛 IEEE ⚖ 484 KB

[IEEE 2010 IEEE 12th International Sympo

[IEEE 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE) - San Jose, CA, USA (2010.11.3-2010.11.4)] 2010 IEEE 12th International Symposium on High Assurance Systems Engineering - Architecture-Based Reliability Modeling of Web Services Using Petri Nets

✍ Rahmani, Cobra; Azadmanesh, Azad; Siy, Harvey 📂 Article 📅 2010 🏛 IEEE ⚖ 441 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