Description d'un modèle de traçabilité pour la mise en oeuvre d'une technique de validation formelle de modèles - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Description d'un modèle de traçabilité pour la mise en oeuvre d'une technique de validation formelle de modèles

Domaines

Intelligence artificielle [cs.AI]

Dtn Ensieta  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00517278

Soumis le : mardi 14 septembre 2010-09:17:47

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

Fichier non déposé

Dates et versions

hal-00517278 , version 1 (14-09-2010)

Identifiants

  • HAL Id : hal-00517278 , version 1

Citer

Bastien Amar, Philippe Dhaussy, Hervé Le Blanc, Bernard Coulette. Description d'un modèle de traçabilité pour la mise en oeuvre d'une technique de validation formelle de modèles. Revue Génie logiciel, 2008, France. ⟨hal-00517278⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Partager

Gmail Facebook X LinkedIn More