Giuseppe Occorso (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso: Towards UML-based formal specifications of component-based real-time software. STTT 9(2): 179-192 (2007)

2 Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso: Towards UML-Based Formal Specifications of Component-Based Real-Time Software. FASE 2003: 118-134

1 Luigi Lavazza, Giuseppe Occorso: Simulation-based Verification of UML models. SEKE 2003: 314-321

Selection of 3 from 3 records - Giuseppe Occorso has 3 coauthors

3		Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso: Towards UML-based formal specifications of component-based real-time software. STTT 9(2): 179-192 (2007)
2		Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso: Towards UML-Based Formal Specifications of Component-Based Real-Time Software. FASE 2003: 118-134
1		Luigi Lavazza, Giuseppe Occorso: Simulation-based Verification of UML models. SEKE 2003: 314-321