✦ LIBER ✦

[IEEE 2011 18th Asia Pacific Software Engineering Conference - Ho Chi Minh, Vietnam (2011.12.5-2011.12.8)] 2011 18th Asia-Pacific Software Engineering Conference - Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking

✍ Scribed by Kong, Weiqiang; Katahira, Noriyuki; Watanabe, Masahiko; Katayama, Tetsuro; Hisazumi, Kenji; Fukuda, Akira

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 18th Asia Pacific Software En

✍ Mashkoor, Atif; Jacquot, Jean-Pierre 📂 Article 📅 2011 🏛 IEEE ⚖ 289 KB

[IEEE 2011 18th Asia Pacific Software En

✍ Chen, Xiaohong; Liu, Jing; Mallet, Frederic; Jin, Zhi 📂 Article 📅 2011 🏛 IEEE ⚖ 346 KB

[IEEE 2011 18th Asia Pacific Software En

✍ Hsueh, Chien-Hsin; Cheng, Yung-Pin; Pan, Wei-Cheng 📂 Article 📅 2011 🏛 IEEE ⚖ 816 KB

[IEEE 2011 18th Asia Pacific Software En

✍ Svendsen, Andreas; Haugen, Øystein; Moller-Pedersen, Birger 📂 Article 📅 2011 🏛 IEEE ⚖ 351 KB

[IEEE 2011 18th Asia Pacific Software En

✍ Thangthumachit, Sirinut; Hayashi, Shinpei; Saeki, Motoshi 📂 Article 📅 2011 🏛 IEEE ⚖ 292 KB

[IEEE 2011 18th Asia Pacific Software En

✍ Suo, Dajiang; An, Jinxia; Zhu, Jihong 📂 Article 📅 2011 🏛 IEEE ⚖ 726 KB