Cinquì eme partie Remerciements Des remerciements particuliersàparticuliersà Florent Jacquemard pour avoir pris de son temps et m'avoir suivi et aidé durant les travaux de cette période de stage. ´ Egalement au reste de l'´ equipe MUTANT : -Arshia Cont, Thomas Coffy et Philippe Cuvillier -, pour son accueil, sa participation et sa bonne entente. Enfin, merci aux personnes du bureau B43 etàetà tout l'IRCAM ,
Operational semantics of a domain specific language for real time musician?computer interaction. Discrete Event Dynamic Systems, pp.343-383, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00854719
On Conformance Testing for Timed Systems, Lecture Notes in Computer Science, vol.5215, 2008. ,
Marius Miku? cionis. Uppaal tron user manual, 2009. ,
Computing needs time, COMMUNICATIONS OF THE ACM, vol.52, issue.5, 2009. ,
Formal timing analysis of mixed music scores. ICMC -International Computer Music Conference, 2013. STMS LabMuSync team, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00797595
Off-line test selection with test purposes for non-deterministic timed automata, Lecture Notes in Computer Science, vol.6605, 2012. ,
Model based testing : principes et applications dans le cadre temporisé, 2011. ,