| |
| 2005 | ||
|---|---|---|
| 3 | EE | A. Castelnuovo, L. Ferrarini: Petri net models of agent-based control of a FMS with randomly generated recipes. ETFA 2005 |
| 2002 | ||
| 2 | EE | A. Castelnuovo, Alessandro Fin, Franco Fummi, F. Sforza: Emulation-Based Design Errors Identification. DFT 2002: 365-371 |
| 2001 | ||
| 1 | EE | F. Sforza, L. Battú, M. Brunelli, A. Castelnuovo, M. Magnaghi: A "Design for Verification" Methodology. ISQED 2001: 50-55 |
| 1 | L. Battú | [1] |
| 2 | M. Brunelli | [1] |
| 3 | L. Ferrarini | [3] |
| 4 | Alessandro Fin | [2] |
| 5 | Franco Fummi | [2] |
| 6 | M. Magnaghi | [1] |
| 7 | F. Sforza | [1] [2] |