Hybrid Controller Synthesis for the IoT

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 : jeudi 23 novembre 2017 - 01:16:09

Identifiants

  • HAL Id : hal-01644356, version 1

Collections

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. 〈hal-01644356〉

Partager

Métriques

Consultations de la notice

41