Vérification de Recommandations sur les Objets Connectés - Université Clermont Auvergne Access content directly
Conference Papers Year :

Vérification de Recommandations sur les Objets Connectés

Blot Elliott
Sébastien Salva
  • Function : Author
  • PersonId : 1026227
No file

Dates and versions

hal-02884818 , version 1 (30-06-2020)

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

PRES_CLERMONT
36 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More