Conference Papers
Year :
sébastien salva : Connect in order to contact the contributor
https://uca.hal.science/hal-02884818
Submitted on : Tuesday, June 30, 2020-10:49:56 AM
Last modification on : Monday, February 22, 2021-9:14:10 AM
Dates and versions
Identifiers
- HAL Id : hal-02884818 , version 1
Cite
Blot Elliott, Sébastien Salva. Vérification de Recommandations sur les Objets Connectés. 19èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2020, 2020, Vannes, France. ⟨hal-02884818⟩
Collections
36
View
0
Download