✦ LIBER ✦

[IEEE 2011 IEEE 22nd International Symposium on Software Reliability Engineering (ISSRE) - Hiroshima, Japan (2011.11.29-2011.12.2)] 2011 IEEE 22nd International Symposium on Software Reliability Engineering - Safety Analysis of Trampoline OS Using Model Checking: An Experience Report

✍ Scribed by Choi, Yunja

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 IEEE 22nd International Sympo

✍ Lopatkin, Ilya; Iliasov, Alexei; Romanovsky, Alexander 📂 Article 📅 2011 🏛 IEEE ⚖ 346 KB

[IEEE 2011 IEEE 22nd International Sympo

✍ Zhang, Yilei; Zheng, Zibin; Lyu, Michael R. 📂 Article 📅 2011 🏛 IEEE ⚖ 299 KB