Nicolas Rempulski. Synthèse dynamique de superviseur pour l'exécution adaptative d'applications interactives. (Dynamic synthesis of supervisor for interactive application adaptive execution). PhD thesis, University of La Rochelle, France, 2013. [doi]
Abstract is missing.