Romain Soulat. Synthesis of correct-by-design schedulers for hybrid systems. (Synthèse d'ordonnanceurs corrects par conception pour les systèmes hybrides). PhD thesis, École normale supérieure de Cachan, France, 2014. [doi]
@phdthesis{hal-606,
title = {Synthesis of correct-by-design schedulers for hybrid systems. (Synthèse d'ordonnanceurs corrects par conception pour les systèmes hybrides)},
author = {Romain Soulat},
year = {2014},
url = {https://tel.archives-ouvertes.fr/tel-01062337},
researchr = {https://researchr.org/publication/hal-606},
cites = {0},
citedby = {0},
school = {École normale supérieure de Cachan, France},
}