COnfECt : Une Méthode Pour Inférer Les Modèles De Composants D'un Système - Université Clermont Auvergne
Communication Dans Un Congrès Année : 2018

COnfECt : Une Méthode Pour Inférer Les Modèles De Composants D'un Système

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
v2.pdf (417.18 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

sébastien salva  : Connectez-vous pour contacter le contributeur

https://uca.hal.science/hal-01803916

Soumis le : jeudi 31 mai 2018-10:11:25

Dernière modification le : samedi 22 avril 2023-04:31:14

Archivage à long terme le : samedi 1 septembre 2018-12:57:37

Télécharger pour visualiser

Dates et versions

hal-01803916 , version 1 (31-05-2018)

Identifiants

  • HAL Id : hal-01803916 , version 1

Citer

Elliott Blot, Patrice Laurencot, Sébastien Salva. COnfECt : Une Méthode Pour Inférer Les Modèles De Composants D'un Système. 17èmes journées AFADL : Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2018, Grenoble, France. ⟨hal-01803916⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

PRES_CLERMONT CNRS LIMOS CLERMONT-AUVERGNE-INP
129 Consultations
65 Téléchargements

Partager

More