| |
| 2003 | ||
|---|---|---|
| 3 | EE | Candida Attanasio, Flavio Corradini, Paola Inverardi: Static analysis of real-time component-based systems configurations. Sci. Comput. Program. 46(1-2): 5-30 (2003) |
| 1999 | ||
| 2 | EE | Candida Attanasio, Flavio Corradini, Paola Inverardi: Static Analysis of Real-Time Component-Based Systems Configurations. COORDINATION 1999: 323-339 |
| 1 | Candida Attanasio, Flavio Corradini, Paola Inverardi: Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance. FASE 1999: 45-59 | |
| 1 | Flavio Corradini | [1] [2] [3] |
| 2 | Paola Inverardi | [1] [2] [3] |