Modélisation formelle de systèmes cyber-physiques par le raffinement et la preuve

par Guillaume Dupont

Projet de thèse en Informatique

Sous la direction de Yamine Ait ameur et de Neeraj Singh.

Thèses en préparation à Toulouse, INPT , dans le cadre de Mathématiques, Informatique, Télécommunications de Toulouse , en partenariat avec Institut de Recherche en Informatique de Toulouse (equipe de recherche) depuis le 24-10-2017 .


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


  • Pas de résumé disponible.