𝔖 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 - Modeling and Validation of PLC-Controlled Systems: A Case Study

✍ Scribed by Wang, Rui; Zhou, Min; Yin, Liangze; Zhang, Lianyi; Sun, Jiaguang; Ming, Gu; Bozga, Marius

Book ID: 120436247
Publisher: IEEE
Year: 2012
Weight: 461 KB
Category: Article
ISBN: 1467323535
DOI: 10.1109/TASE.2012.33

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 - 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

[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 2012 Sixth International Conferenc

[IEEE 2012 Sixth International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS) - Palermo, Italy (2012.07.4-2012.07.6)] 2012 Sixth International Conference on Complex, Intelligent, and Software Intensive Systems - Modelling the Behaviour of an Adaptive Scheduling Controller

✍ Barone, G.B.; Boccia, V.; Bottalico, D.; Carracciuolo, L.; Doria, A.; Laccetti, 📂 Article 📅 2012 🏛 IEEE ⚖ 532 KB

[IEEE 2012 Sixth International Conferenc

[IEEE 2012 Sixth International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS) - Palermo, Italy (2012.07.4-2012.07.6)] 2012 Sixth International Conference on Complex, Intelligent, and Software Intensive Systems - Assessing the Impact of E-Government on Users: A Case Study of Indonesia

✍ Nariman, Dahlan 📂 Article 📅 2012 🏛 IEEE ⚖ 261 KB

[IEEE 2010 4th IEEE International Sympos

[IEEE 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Taipei, Taiwan (2010.08.25-2010.08.27)] 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering - Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets

✍ Kahloul, Laid; Chaoui, Allaoua; Djouani, Karim 📂 Article 📅 2010 🏛 IEEE ⚖ 398 KB