Static Analysis of Real-Time Component-Based Systems Configurations.

Candida Attanasio, Flavio Corradini, Paola Inverardi

Browse the full Coordination paper archive.