Description
Date depot: 16 novembre 2018
Titre: Vérification paramétrée et dérivation de code à partir de spécifications formelles pour les systèmes embarqués
Directeur de thèse:
Pascal POIZAT (LIP6)
Directeur de thèse:
Souheib BAARIR (LRE)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Modèles de calcul, preuve, vérification
Resumé:
A compléter.
Doctorant.e: Houhou Sara