𝔖 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 - Formal Specification and Code Generation of Programable Logic Controllers

✍ Scribed by Wang, Rui; Gu, Ming; Song, Xiaoyu; Wan, Hai

Book ID: 126608832
Publisher: IEEE
Year: 2009
Weight: 308 KB
Category: Article
ISBN: 0769537022
DOI: 10.1109/ICECCS.2009.41

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 - Towards an Embedded Software Component Quality Verification Framework

✍ Carvalho, Fernando; Meira, Silvio 📂 Article 📅 2009 🏛 IEEE ⚖ 327 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 - A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts

✍ Pi, Lei; Yang, Zhibin; Bodeveix, J-P; Filali, M.; Hu, Kai; Ma, Dianfu 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 141 KB