Aide à la validation temporelle et au dimensionnement de systèmes temps réel dans une démarche dirigée par les modèles

par Anh Toan Bui Long

Projet de thèse en Informatique et applications

Sous la direction de Emmanuel Grolleau et de Yassine Ouhammou.


  • Pas de résumé en français disponible.


  • Pas de résumé disponible.