Model checking UML specifications of real time software (original) (raw)

2003

Abstract

... Vieri Del Bianco Politecnico di Milano P.zza Leonardo Da Vinci, 32 20133 Milano, Italy delbianc@elet.polimi.it Luigi Lavazza CEFRIEL Politecnico di Milano P.zza Leonardo Da Vinci, 32 20133 Milano, Italy lavazza@elet.polimi.it ...

Vieri del Bianco hasn't uploaded this paper.

Let Vieri know you want this paper to be uploaded.

Ask for this paper to be uploaded.