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

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⟩
111 View
42 Download

Share

Gmail Facebook Twitter LinkedIn More