𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - Formal Verification of Netlog Protocols

✍ Scribed by Chen, Meixian; Monin, Jean-Francois

Book ID: 126703378
Publisher: IEEE
Year: 2012
Weight: 267 KB
Category: Article
ISBN: 1467323535
DOI: 10.1109/TASE.2012.19

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2012 Sixth International Symposium

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - Strong Preservation by Model Deformation

✍ Giacobazzi, Roberto; Mastroeni, Isabella; Nikolic, Durica 📂 Article 📅 2012 🏛 IEEE ⚖ 344 KB

[IEEE 2012 Sixth International Symposium

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - A Formal Diagrammatic Approach to Timed Workflow Modelling

✍ Wang, Hao; Rutle, Adrian; MacCaull, Wendy 📂 Article 📅 2012 🏛 IEEE ⚖ 408 KB

[IEEE 2012 Sixth International Symposium

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - Modeling and Validation of PLC-Controlled Systems: A Case Study

✍ Wang, Rui; Zhou, Min; Yin, Liangze; Zhang, Lianyi; Sun, Jiaguang; Ming, Gu; Bozg 📂 Article 📅 2012 🏛 IEEE ⚖ 461 KB

[IEEE 2012 Sixth International Symposium

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - A Succinct and Efficient Implementation of a 2^32 BDD Package

✍ Lv, Guanfeng; Chen, Yao; Feng, Yachao; Chen, Qingliang; Su, Kaile 📂 Article 📅 2012 🏛 IEEE ⚖ 266 KB

[IEEE 2012 Sixth International Symposium

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study

✍ Yuksel, Ender; Zhu, Huibiao; Nielson, Hanne Riis; Huang, Heqing; Nielson, Flemmi 📂 Article 📅 2012 🏛 IEEE ⚖ 574 KB

[IEEE 2012 Sixth International Symposium

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - The Observer Pattern Applied to Actor Systems: A TLA/TLC-based Implementation Analysis

✍ Burmeister, Rodger; Helke, Steffen 📂 Article 📅 2012 🏛 IEEE ⚖ 212 KB