Giuseppe Occorso

Publication Activity (10 Years)

Years Active: 2003-2007
Publications (10 Years): 0

Publications

Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso
Towards UML-based formal specifications of component-based real-time software. Int. J. Softw. Tools Technol. Transf. 9 (2) (2007)
Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso
Towards UML-Based Formal Specifications of Component-Based Real-Time Software. FASE (2003)
Luigi Lavazza, Giuseppe Occorso
Simulation-based Verification of UML models. SEKE (2003)