-
Operational semantics of a domain specific language for real time musician-co...
International audience -
Modeling and formal control of reconfiguration -- Application to dynamically ...
This thesis deals with the study of reconfiguration control modeling in dynamic systems, especially dynamically and partially reconfigurable Systems-on-Chip. The work...
