Un formalisme logique pour vérifier les exigences des modèles de sytèmes hybrides

par Stephane Kastenbaum

Projet de thèse en Informatique

Sous la direction de Jean-pierre Talpin et de Benoit Boyer.

Thèses en préparation à Rennes 1 , dans le cadre de Mathématiques et Sciences et Technologies de l'Information et de la Communication , en partenariat avec Centre de Recherche Inria Rennes – Bretagne Atlantique (CRIRBA) (equipe de recherche) depuis le 20-12-2019 .