Verification de Recommandations sur les Objets Connectés.

Blot Elliott, sébastien Salva
June, 2020
PDF Cite
Type
1
Publication
19èmes journées Approches Formelles dans l’Assistance au Développement de Logiciels - AFADL 2020, Vannes, France