dblp.uni-trier.dewww.uni-trier.de

Giuseppe Occorso

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
3EEVieri 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)
2003
2EEVieri 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

Coauthor Index

1Vieri Del Bianco [2] [3]
2Luigi Lavazza [1] [2] [3]
3Marco Mauri [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)