Plassan, Guillaume, 1991-....
VIAF ID: 49153953286005561965 ( Personal )
Permalink: http://viaf.org/viaf/49153953286005561965
Preferred Forms
Works
Title | Sources |
---|---|
Conclusive formal verification of clock domain crossing properties | |
Vérification formelle concluante des propriétés des systèmes multi-horloges. |