𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Lin, Hsin-Hung; Aoki, Toshiaki; Katayama, Takuya

Book ID: 118266756
Publisher: IEEE
Year: 2011
Weight: 334 KB
Volume: 0
Category: Article
ISBN: 1457700654
DOI: 10.1109/ecbs.2011.33

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 - Message Modeling for the Joint Architecture for Unmanned Systems (JAUS)

✍ Whitsitt, Sean; Sprinkle, Jonathan 📂 Article 📅 2011 🏛 IEEE ⚖ 641 KB

[IEEE 2011 16th IEEE International Confe

[IEEE 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 16th IEEE International Conference on Engineering of Complex Computer Systems - An Implementation of the Behavior Annex in the AADL-Toolset Osate2

✍ Lasnier, Gilles; Pautet, Laurent; Hugues, Jérôme; Wrage, Lutz 📂 Article 📅 2011 🏛 IEEE ⚖ 623 KB

[IEEE 12th IEEE International Conference

[IEEE 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) - Greenbelt, MD, USA (04-07 April 2005)] 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) - A Generic Model-Based Test Case Generator

✍ Popovic, M.; Velikic, I. 📂 Article 📅 2005 🏛 IEEE ⚖ 260 KB

[IEEE 12th IEEE International Conference

[IEEE 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) - Greenbelt, MD, USA (04-07 April 2005)] 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) - Embedded System Engineering Using C/C++ Based Design Methodologies

✍ Talarico, C.; Gupta, A.; Peter, E.; Rozenblit, J.W. 📂 Article 📅 2005 🏛 IEEE ⚖ 321 KB

[IEEE 14th Annual IEEE International Con

[IEEE 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) - Tucson, AZ, USA (2007.03.26-2007.03.29)] 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) - A Statistical Approach to Model-Based Robustness Testing

✍ Popovic, Miroslav; Kovacevic, Jelena 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 246 KB

[IEEE 2011 21st International Conference

[IEEE 2011 21st International Conference on Systems Engineering (ICSEng) - Las Vegas, NV, USA (2011.08.16-2011.08.18)] 2011 21st International Conference on Systems Engineering - Weather Adaptive Renewable Energy Based Self Correctional Dynamic Power System for 2020 and Beyond

✍ Aula, Fadhil T.; Lee, Samuel C. 📂 Article 📅 2011 🏛 IEEE ⚖ 142 KB