[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

✍ Scribed by Balp, Hugues; Borde, Étienne; Haïk, Grégory; Tilman, Jean-François

• Book ID: 118068429
• Publisher: IEEE
• Year: 2008
• Weight: 362 KB
• Volume: 0
• Category: Article
• ISBN: 0769531393
• DOI: 10.1109/iceccs.2008.26