Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems.

Hugues Balp, Etienne Borde, Grgory Hak, Jean-Franois Tilman

Browse the full ICECCS paper archive.