Giuseppe Occorso

According to our database, Giuseppe Occorso authored at least 2 papers between 2003 and 2007.

Collaborative distances:

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

2007

Towards UML-based formal specifications of component-based real-time software.

Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso

Int. J. Softw. Tools Technol. Transf., 2007

2003

Simulation-based Verification of UML models.

Luigi Lavazza, Giuseppe Occorso

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003