| 2007 |
|---|
| 4 | EE | Michele Banci,
Alessandro Fantechi,
Stefania Gnesi,
Giovanni Lombardi:
Experimenting with diversity in the model driven development of a railway signaling system.
EFTS 2007: 5 |
| 3 | EE | Michele Banci,
Alessandro Fantechi,
Stefania Gnesi,
Giovanni Lombardi:
Model Driven Development and Code Generation: An Automotive Case Study.
SDL Forum 2007: 19-34 |
| 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 | Michele Banci,
Alessandro Fantechi:
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems.
Electr. Notes Theor. Comput. Sci. 133: 3-19 (2005) |
