𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc 2001 Pacific Rim International Symposium on Dependable Computing - Seoul, South Korea (17-19 Dec. 2001)] Proceedings 2001 Pacific Rim International Symposium on Dependable Computing - Automatic verification of fault tolerance using model checking

✍ Scribed by Yokogawa, T.; Tsuchiya, T.; Kikuno, T.

Book ID: 126750822
Publisher: IEEE Comput. Soc
Year: 2001
Weight: 726 KB
Category: Article
ISBN-13: 9780769514147
DOI: 10.1109/PRDC.2001.992685

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 2001 Pacific Rim Inter

[IEEE Comput. Soc 2001 Pacific Rim International Symposium on Dependable Computing - Seoul, South Korea (17-19 Dec. 2001)] Proceedings 2001 Pacific Rim International Symposium on Dependable Computing - Dependable automatic train control system using digital track signals

✍ Matsumoto, M.; Tsurumaki, T.; Shigeta, T.; Tashiro, K.; Watanabe, D. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 373 KB

[IEEE Comput. Soc 2001 Pacific Rim Inter

[IEEE Comput. Soc 2001 Pacific Rim International Symposium on Dependable Computing - Seoul, South Korea (17-19 Dec. 2001)] Proceedings 2001 Pacific Rim International Symposium on Dependable Computing - A design-diversity based fault-tolerant COTS avionics bus network

✍ Chau, S.N.; Smith, J.; Tai, T. 📂 Article 📅 2001 🏛 IEEE Comput. Soc 🌐 English ⚖ 806 KB

[IEEE Comput. Soc 2001 Pacific Rim Inter

[IEEE Comput. Soc 2001 Pacific Rim International Symposium on Dependable Computing - Seoul, South Korea (17-19 Dec. 2001)] Proceedings 2001 Pacific Rim International Symposium on Dependable Computing - Ticket-based secure delegation service supporting multiple domain models

✍ Kyung-Ah Chang, ; Tae-Seung Lee, ; Bang-Hun Chun, ; Tai-Yun Kim, 📂 Article 📅 2001 🏛 IEEE Comput. Soc 🌐 English ⚖ 453 KB

[IEEE Comput. Soc 2001 Pacific Rim Inter

[IEEE Comput. Soc 2001 Pacific Rim International Symposium on Dependable Computing - Seoul, South Korea (17-19 Dec. 2001)] Proceedings 2001 Pacific Rim International Symposium on Dependable Computing - Analysis of periodic preventive maintenance with general system failure distribution

✍ Dongyan Chen, ; Trivedi, K.S. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 444 KB

[IEEE Comput. Soc 2001 Pacific Rim Inter

[IEEE Comput. Soc 2001 Pacific Rim International Symposium on Dependable Computing - Seoul, South Korea (17-19 Dec. 2001)] Proceedings 2001 Pacific Rim International Symposium on Dependable Computing - Modeling the dependability of N-modular redundancy on demand under malicious agreement

✍ Lombardi, F.; Park, N.; Al-Hashimi, M.; Pu, H.H. 📂 Article 📅 2001 🏛 IEEE Comput. Soc 🌐 English ⚖ 629 KB

[IEEE Comput. Soc 2001 Pacific Rim Inter

[IEEE Comput. Soc 2001 Pacific Rim International Symposium on Dependable Computing - Seoul, South Korea (17-19 Dec. 2001)] Proceedings 2001 Pacific Rim International Symposium on Dependable Computing - Table driven proportional access based real-time Ethernet for safety-critical real-time systems

✍ Daeyoung Kim, ; Yoonmee Doh, ; Yann-Hang Lee, 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 790 KB