Marcello Becucci

According to our database, Marcello Becucci authored at least 2 papers between 2004 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

A comparison between handwritten and automatic generation of C code from SDL using static analysis.

Marcello Becucci, Alessandro Fantechi, Marco Giromini, Emilio Spinicci

Softw. Pract. Exp., 2005

2004

Validation Coverage for a Component-based SDL model of a Railway Signaling System.

Michele Banci, Marcello Becucci, Alessandro Fantechi, Emilio Spinicci

Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004