𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Potsdam, Germany (2009.06.2-2009.06.4)] 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Towards an Embedded Software Component Quality Verification Framework

✍ Scribed by Carvalho, Fernando; Meira, Silvio

Book ID: 126639706
Publisher: IEEE
Year: 2009
Weight: 327 KB
Category: Article
ISBN: 0769537022
DOI: 10.1109/ICECCS.2009.26

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2009 14th IEEE International Confe

[IEEE 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Potsdam, Germany (2009.06.2-2009.06.4)] 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - SBAC: Service Based Access Control

✍ Tupakula, Udaya Kiran; Varadharajan, Vijay; Vuppala, Sunil Kumar 📂 Article 📅 2009 🏛 IEEE ⚖ 270 KB

[IEEE 2009 14th IEEE International Confe

[IEEE 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Potsdam, Germany (2009.06.2-2009.06.4)] 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - AADL Simulation and Performance Analysis in SystemC

✍ Varona-Gómez, Roberto; Villar, Eugenio 📂 Article 📅 2009 🏛 IEEE ⚖ 314 KB

[IEEE 2009 14th IEEE International Confe

[IEEE 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Potsdam, Germany (2009.06.2-2009.06.4)] 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Architecture Driven Modernization in Practice Study Results

✍ Sadovykh, Andrey; Vigier, Lionel; Hoffmann, Andreas; Grossmann, Juergen; Ritter, 📂 Article 📅 2009 🏛 IEEE ⚖ 421 KB

[IEEE 2009 14th IEEE International Confe

[IEEE 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Potsdam, Germany (2009.06.2-2009.06.4)] 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Towards a Model-Driven Approach for Mapping Requirements on AADL Architectures

✍ Ponsard, Christophe; Delehaye, Mathieu 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 575 KB

[IEEE 2009 14th IEEE International Confe

[IEEE 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Potsdam, Germany (2009.06.2-2009.06.4)] 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Formal Specification and Code Generation of Programable Logic Controllers

✍ Wang, Rui; Gu, Ming; Song, Xiaoyu; Wan, Hai 📂 Article 📅 2009 🏛 IEEE ⚖ 308 KB

[IEEE 2009 14th IEEE International Confe

[IEEE 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Potsdam, Germany (2009.06.2-2009.06.4)] 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Testing an Open Source Suite for Open Queuing Network Modelling Using Metamorphic Testing Technique

✍ Chen, TY.; Kuo, F.-C.; Merkel, R.; W.K.Tam, 📂 Article 📅 2009 🏛 IEEE ⚖ 379 KB