𝔖 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 - Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study

✍ Scribed by Yuksel, Ender; Zhu, Huibiao; Nielson, Hanne Riis; Huang, Heqing; Nielson, Flemming

Book ID: 120005127
Publisher: IEEE
Year: 2012
Weight: 574 KB
Category: Article
ISBN: 1467323535
DOI: 10.1109/TASE.2012.44

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 - 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 - The Observer Pattern Applied to Actor Systems: A TLA/TLC-based Implementation Analysis

✍ Burmeister, Rodger; Helke, Steffen 📂 Article 📅 2012 🏛 IEEE ⚖ 212 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 Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State Machines

✍ Wu, Tianyong; Yan, Jun; Zhang, Jian 📂 Article 📅 2012 🏛 IEEE ⚖ 198 KB

[IEEE 2011 IEEE 5th International Sympos

[IEEE 2011 IEEE 5th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Xi'an, China (2011.08.29-2011.08.31)] 2011 Fifth International Conference on Theoretical Aspects of Software Engineering - A Stochastic-Petri-Net-Based Model for Ontology-Based Service Compositions

✍ Xia, Yunni; Dai, Gang; Tang, Fangfang; Zhu, Qingsheng 📂 Article 📅 2011 🏛 IEEE ⚖ 233 KB