𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Lasnier, Gilles; Pautet, Laurent; Hugues, Jérôme; Wrage, Lutz

Book ID: 118009608
Publisher: IEEE
Year: 2011
Weight: 623 KB
Volume: 0
Category: Article
ISBN: 1612848532
DOI: 10.1109/iceccs.2011.39

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 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 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 - Study of the Effect of the Frequency on Performance of Magnetic Based Micro Pump

✍ Derafshi, Z. Haddad; Mousavi, M.R.; Pakdaman, R.; Bahrami, M. 📂 Article 📅 2011 🏛 IEEE ⚖ 397 KB

[IEEE 2008 13th IEEE International Confe

[IEEE 2008 13th IEEE International Conference on Engineering of Complex Computer Systems - (ICECCS) - Belfast, Northern Ireland (2008.03.31-2008.04.3)] 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) - Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems

✍ Balp, Hugues; Borde, Étienne; Haïk, Grégory; Tilman, Jean-François 📂 Article 📅 2008 🏛 IEEE ⚖ 362 KB

[IEEE 2011 6th International Conference

[IEEE 2011 6th International Conference on System of Systems Engineering (SoSE) - Albuquerque, NM, USA (2011.06.27-2011.06.30)] 2011 6th International Conference on System of Systems Engineering - Agent-in-the-loop simulation for testing swarm robots using an XML-based system of system framework in discrete-event simulation specification

✍ Dragunov, Yuriy P.; Sahin, Ferat 📂 Article 📅 2011 🏛 IEEE ⚖ 687 KB