Différences

Cette page vous donne les différences entre la révision choisie et la version actuelle de la page.

Lien vers cette vue

poncelet [2017/01/09 14:49]
Clément Poncelet [Research Interests]
poncelet [2017/01/09 14:50] (Version actuelle)
Clément Poncelet [Research Interests]
Ligne 19: Ligne 19:
 My thesis work deals with Formal Method and Interactive Music System. My thesis work deals with Formal Method and Interactive Music System.
 In particular, I applied a Model-Based Testing framework to [[:antescofo|Antescofo]]. In particular, I applied a Model-Based Testing framework to [[:antescofo|Antescofo]].
-The thesis has been defended in french and is available [[http://medias.ircam.fr/xd127a9|here]].+The thesis has been defended in french and is available [[http://medias.ircam.fr/xd127a9|here]], it dealt with:
  
   * **Timed Model**, in order to specify both timed-triggered and event-driven systems. We formally defined an Interactive Real-Time Model (IRTM) to abstract real-time systems. This model borrows both from the **Synchronous Programming** and **Timed Automata**.   * **Timed Model**, in order to specify both timed-triggered and event-driven systems. We formally defined an Interactive Real-Time Model (IRTM) to abstract real-time systems. This model borrows both from the **Synchronous Programming** and **Timed Automata**.
 


poncelet.txt · Dernière modification: 2017/01/09 14:50 par Clément Poncelet