- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 3 |      | 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 | | 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] |