𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2011 8th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems - Model Checking of Adaptive Programs with Mode-extended Linear Temporal Logic

✍ Scribed by Zhao, Yongwang; Ma, Dianfu; Li, Jing; Li, Zhuqing

Book ID: 125942436
Publisher: IEEE
Year: 2011
Weight: 297 KB
Category: Article
ISBN: 1457703092
DOI: 10.1109/EASe.2011.13

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 8th IEEE International Confer

[IEEE 2011 8th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems - Pro-active Advice to Improve the Efficiency of Self-Organizing Emergent Systems

✍ Steiner, Torsten; Denzinger, Jörg; Kasinger, Holger; Bauer, Bernhard 📂 Article 📅 2011 🏛 IEEE ⚖ 311 KB

[IEEE 2011 18th IEEE International Confe

[IEEE 2011 18th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems - Automated Adaptor Generation for Services Based on Pushdown Model Checking

✍ Lin, Hsin-Hung; Aoki, Toshiaki; Katayama, Takuya 📂 Article 📅 2011 🏛 IEEE ⚖ 334 KB

[IEEE 2011 18th IEEE International Confe

[IEEE 2011 18th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems - Analysis of Applicability for Synchronization Complexity Metric

✍ Yastrebenetsky, Peter; Trakhtenbrot, Mark 📂 Article 📅 2011 🏛 IEEE ⚖ 236 KB

[IEEE 2011 18th IEEE International Confe

[IEEE 2011 18th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems - A Meta-Framework for Design Space Exploration

✍ Saxena, Tripti; Karsai, Gabor 📂 Article 📅 2011 🏛 IEEE ⚖ 387 KB

[IEEE 2011 18th IEEE International Confe

[IEEE 2011 18th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems - Hardware/Software Communication Middleware for Data Adaptable Embedded Systems

✍ Mahadevan, Sachidanand; Gopinath, Vijay Shankar; Lysecky, Roman; Sprinkle, Jonat 📂 Article 📅 2011 🏛 IEEE ⚖ 446 KB

[IEEE 2011 18th IEEE International Confe

[IEEE 2011 18th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems - Scenario-Based Architectural Design Decisions Documentation and Evolution

✍ Che, Meiru; Perry, Dewayne E. 📂 Article 📅 2011 🏛 IEEE ⚖ 775 KB