𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Plano, TX, USA (2007.11.14-2007.11.16)] 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Behavioral Fault Modeling for Model-based Safety Analysis

✍ Scribed by Joshi, Anjali; Heimdahl, Mats P.E.

Book ID: 121664675
Publisher: IEEE
Year: 2007
Weight: 529 KB
Category: Article
ISBN-13: 9780769530437
DOI: 10.1109/HASE.2007.58

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 10th IEEE High Assurance Systems E

[IEEE 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Plano, TX, USA (2007.11.14-2007.11.16)] 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Delegation-Based Security Model for Web Services

✍ She, Wei; Thuraisingham, Bhavani; Yen, I-Ling 📂 Article 📅 2007 🏛 IEEE ⚖ 674 KB

[IEEE 10th IEEE High Assurance Systems E

[IEEE 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Plano, TX, USA (2007.11.14-2007.11.16)] 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - A Fault Taxonomy for Service-Oriented Architecture

✍ Bruning, Stefan; Weissleder, Stephan; Malek, Miroslaw 📂 Article 📅 2007 🏛 IEEE ⚖ 483 KB

[IEEE 10th IEEE High Assurance Systems E

[IEEE 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Plano, TX, USA (2007.11.14-2007.11.16)] 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Measuring Reliability as a Mean Failure Cost

✍ Mili, Ali; Sheldon, Frederick 📂 Article 📅 2007 🏛 IEEE ⚖ 562 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 - On High-Assurance Scientific Workflows

✍ Vouk, Mladen A.; Mouallem, Pierre A. 📂 Article 📅 2011 🏛 IEEE ⚖ 593 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 - Model Checking Software Architecture Design

✍ Zhang, Jiexin; Liu, Yang; Sun, Jing; Dong, Jin Song; Sun, Jun 📂 Article 📅 2012 🏛 IEEE ⚖ 307 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