Modélisation et validation formaelles de propriétés en environnement objet - Archive ouverte HAL Accéder directement au contenu
Autre Publication Scientifique Année : 2004

Modélisation et validation formaelles de propriétés en environnement objet

(1)
1
Fichier non déposé

Dates et versions

hal-00541393 , version 1 (30-11-2010)

Identifiants

  • HAL Id : hal-00541393 , version 1

Citer

Olivier Habart. Modélisation et validation formaelles de propriétés en environnement objet. 2004. ⟨hal-00541393⟩
70 Consultations
0 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More