Identifiant pérenne de la notice : 229964397
Notice de type
Personne
Conclusive formal verification of clock domain crossing properties / Guillaume Plassan
; sous la direction de Dominique Borrione et Katell Morin-Allory. Thèse de doctorat
: Nano electronique et nano technologies : Grenoble Alpes : 2018