Recherche Avancée

Thèse en cours

Techniques de model-checking pour la vérification pseudo-électrique de circuits

FR
Auteur / Autrice : Oussama Oulkaid
Direction : Matthieu Moy
Type : Projet de thèse
Discipline(s) : Informatique
Date : Inscription en doctorat le 05/10/2022
Etablissement(s) : Lyon 1
Ecole(s) doctorale(s) : Informatique et Mathématiques de Lyon (InfoMaths)
Partenaire(s) de recherche : Equipe de recherche : Laboratoire de l'informatique du parallélisme