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

Elliott Blot, Patrice Laurencot, sébastien Salva
June, 2018
PDF Cite
Type
1
Publication
17èmes journées AFADL : Approches Formelles dans l’Assistance au Développement de Logiciels