Thèse de Ayman Aljarbouh

"Simulation accélérée des systèmes hybrides : méthode combinant analyse statique et analyse à l'exécution" thèse de doctorat de l'université de Rennes 1 en informatique