| |
| 2007 | ||
|---|---|---|
| 3 | EE | Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso: Towards UML-based formal specifications of component-based real-time software. STTT 9(2): 179-192 (2007) |
| 2003 | ||
| 2 | EE | Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso: Towards UML-Based Formal Specifications of Component-Based Real-Time Software. FASE 2003: 118-134 |
| 1 | Luigi Lavazza, Giuseppe Occorso: Simulation-based Verification of UML models. SEKE 2003: 314-321 | |
| 1 | Vieri Del Bianco | [2] [3] |
| 2 | Luigi Lavazza | [1] [2] [3] |
| 3 | Marco Mauri | [2] [3] |