𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc HASE 99: Fourth IEEE International Symposium on High Assurance Systems Engineering - Washington, DC, USA (17-19 Nov. 1999)] Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering - Quantitative evaluation of dependability critical systems based on guarded Statechart models

✍ Scribed by Dal Cin, M.; Huszerl, G.; Kosmidis, K.

Book ID: 126752173
Publisher: IEEE Comput. Soc
Year: 1999
Weight: 127 KB
Category: Article
ISBN-13: 9780769504186
DOI: 10.1109/HASE.1999.809473

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc HASE 99: Fourth IEEE I

[IEEE Comput. Soc HASE 99: Fourth IEEE International Symposium on High Assurance Systems Engineering - Washington, DC, USA (17-19 Nov. 1999)] Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering - Using COTS software in high assurance control applications

✍ Lui Sha, 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 9 KB

[IEEE Comput. Soc HASE 99: Fourth IEEE I

[IEEE Comput. Soc HASE 99: Fourth IEEE International Symposium on High Assurance Systems Engineering - Washington, DC, USA (17-19 Nov. 1999)] Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering - Lessons from 342 medical device failures

✍ Wallace, D.R.; Kuhn, D.R. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 79 KB

[IEEE Comput. Soc HASE 99: Fourth IEEE I

[IEEE Comput. Soc HASE 99: Fourth IEEE International Symposium on High Assurance Systems Engineering - Washington, DC, USA (17-19 Nov. 1999)] Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering - A specification-based coverage metric to evaluate test sets

✍ Ammann, P.E.; Black, P.E. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 233 KB

[IEEE Comput. Soc HASE 99: Fourth IEEE I

[IEEE Comput. Soc HASE 99: Fourth IEEE International Symposium on High Assurance Systems Engineering - Washington, DC, USA (17-19 Nov. 1999)] Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering - A synchronous paradigm for modeling stable reactive systems

✍ Winter, V.L. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 185 KB

[IEEE Comput. Soc HASE 99: Fourth IEEE I

[IEEE Comput. Soc HASE 99: Fourth IEEE International Symposium on High Assurance Systems Engineering - Washington, DC, USA (17-19 Nov. 1999)] Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering - A world without risks: let me out!

✍ Was, J. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 14 KB

[IEEE Comput. Soc HASE 99: Fourth IEEE I

[IEEE Comput. Soc HASE 99: Fourth IEEE International Symposium on High Assurance Systems Engineering - Washington, DC, USA (17-19 Nov. 1999)] Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering - COTS-based fault tolerance in deep space: Qualitative and quantitative analyses of a bus network architecture

✍ Tai, A.T.; Chau, S.N.; Alkalai, L. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 138 KB