Mode'lisation et contrôle formel de la reconfiguration - Application aux systèmes embarque's dynamiquement reconfigurables. (Modeling and formal control of reconfiguration - Application to dynamically reconfigurable embedded systems)

Sébastien Guillet. Mode'lisation et contrôle formel de la reconfiguration - Application aux systèmes embarque's dynamiquement reconfigurables. (Modeling and formal control of reconfiguration - Application to dynamically reconfigurable embedded systems). PhD thesis, University of Southern Brittany, Morbihan, France, 2012. [doi]