Modélisation et validation formaelles de propriétés en environnement objet - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu
Autre Publication Scientifique Année : 2004

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

Olivier Habart
  • Fonction : Auteur
Développement des Technologies Nouvelles

Domaines

Ingénierie assistée par ordinateur

Dtn Ensieta  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00541393

Soumis le : mardi 30 novembre 2010-14:21:56

Dernière modification le : lundi 14 mars 2022-11:08:06

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENSTA-BRETAGNE ENSTA-BRETAGNE-STIC
75 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More