𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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) - AADL Execution Semantics Transformation for Formal Verification

✍ Scribed by Abdoul, Thomas; Champeau, Joel; Dhaussy, Philippe; Pillain, Pierre Yves; Roger, Jean-Charles

Book ID: 121476150
Publisher: IEEE
Year: 2008
Weight: 325 KB
Category: Article
ISBN: 0769531393
DOI: 10.1109/ICECCS.2008.24

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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) - Global Software Engineering Research in a Small Country

✍ Ryan, Kevin 📂 Article 📅 2008 🏛 IEEE ⚖ 66 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 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) - An Environment to Support Large Scale Experimentation in Software Engineering

✍ Travassos, Guilherme H.; Santos, Paulo Sérgio Medeiros dos; Mian, Paula Gomes; N 📂 Article 📅 2008 🏛 IEEE ⚖ 399 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) - Why Predicting Outliers in Software is a Good Thing to Do!

✍ Schneidewind, Norm; Hinchey, Mike 📂 Article 📅 2008 🏛 IEEE ⚖ 318 KB

[IEEE 2008 15th Annual IEEE Internationa

[IEEE 2008 15th Annual IEEE International Conference on Engineering of Computer Based Systems (ECBS) - Belfast, Northern Ireland (2008.03.31-2008.04.4)] 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008) - Protocol Verification in a Software Component-Based Approach

✍ Mouakher, Inès; Souquières, Jeanine; Alexandre, Francis 📂 Article 📅 2008 🏛 IEEE ⚖ 714 KB

[IEEE 10th IEEE International Conference

[IEEE 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Shanghai, China (16-20 June 2005)] 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Formal Semantics and Verification for Feature Modeling

✍ Jing Sun, ; Hongyu Zhang, ; Yuan Fang Li, ; Hai Wang, 📂 Article 📅 2005 🏛 IEEE ⚖ 464 KB