Hybrid Controller Synthesis for the IoT

Arthur Gatouillat 1 Youakim Badr 1 Bertrand Massot 2
1 SOC - Service Oriented Computing
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
2 INL - Capteurs - INL - Capteurs Biomédicaux
INL - Institut des Nanotechnologies de Lyon
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01644356
Contributeur : Youakim Badr <>
Soumis le : mercredi 22 novembre 2017 - 10:51:37
Dernière modification le : lundi 8 octobre 2018 - 16:48:02

Identifiants

  • HAL Id : hal-01644356, version 1

Citation

Arthur Gatouillat, Youakim Badr, Bertrand Massot. Hybrid Controller Synthesis for the IoT. The 33rd ACM/SIGAPP Symposium On Applied Computing (ACM SAC), Apr 2018, Pau, France. pp.778-785. 〈hal-01644356〉

Partager

Métriques

Consultations de la notice

370