𝔖 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 - A Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State Machines

✍ Scribed by Wu, Tianyong; Yan, Jun; Zhang, Jian

Book ID: 120039606
Publisher: IEEE
Year: 2012
Weight: 198 KB
Category: Article
ISBN: 1467323535
DOI: 10.1109/TASE.2012.38

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 - Formal Verification of Netlog Protocols

✍ Chen, Meixian; Monin, Jean-Francois 📂 Article 📅 2012 🏛 IEEE ⚖ 267 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 - 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 - 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 - 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