COnfECt : Une Méthode Pour Inférer Les Modèles De Composants D'un Système - Archive ouverte HAL Access content directly
Conference Papers Year :

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

(1, 2) , (1, 2) , (3, 2, 4)
1
2
3
4
Fichier principal
Vignette du fichier
v2.pdf (417.18 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-01803916 , version 1

Cite

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⟩
106 View
41 Download

Share

Gmail Facebook Twitter LinkedIn More