Skip to Main content Skip to Navigation

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

Document type :
Conference papers
Complete list of metadatas

https://hal.uca.fr/hal-01803916
Contributor : Sébastien Salva <>
Submitted on : Thursday, May 31, 2018 - 10:11:25 AM
Last modification on : Wednesday, March 4, 2020 - 12:28:02 PM
Document(s) archivé(s) le : Saturday, September 1, 2018 - 12:57:37 PM

File

v2.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01803916, version 1

Citation

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⟩

Share

Metrics

Record views

97

Files downloads

45