Recherche
CIS
Concurrent Integrated Systems
2012 - Thèses (1 résultats)
« Synthèse de moniteurs asynchrones à partir d'assertions temporelles pour la surveillance robuste de circuits synchrones ».
Candidat : A. Porcher
Directeur de thèse : L. Fesquet
Président du jury : I. O'connor
Thèse de Doctorat : These de Doctorat, Université de Grenoble
Spécialité : Nanoélectronique et Nanotechnologies
Soutenance : 2012-05-03
