| |
| 2005 | ||
|---|---|---|
| 2 | EE | Michele Banci, Marcello Becucci, Alessandro Fantechi, Emilio Spinicci: Validation Coverage for a Component-based SDL model of a Railway Signaling System. Electr. Notes Theor. Comput. Sci. 116: 99-111 (2005) |
| 1 | EE | Marcello Becucci, Alessandro Fantechi, Marco Giromini, Emilio Spinicci: A comparison between handwritten and automatic generation of C code from SDL using static analysis. Softw., Pract. Exper. 35(14): 1317-1347 (2005) |
| 1 | Michele Banci | [2] |
| 2 | Alessandro Fantechi | [1] [2] |
| 3 | Marco Giromini | [1] |
| 4 | Emilio Spinicci | [1] [2] |