la validation de modèles UML et SysML de systèmes temps réel critiques. ... dant
mon stage de master et au début de ma thèse, et aussi à tous les ..... Il faut donc
dé- ..... terme, par rapport à la mémoire de travail, pour pré-traiter l'information ....
Uppaal offre une interface graphique pour la spécification des réseaux d'auto-. 
