Documents publiés en "2012"
Nombre de documents: 1
A
Al-Bayati, Z., Ait Mohamed, O., Savaria, Y., & Boukadoum, M. (juin 2012). Probabilistic model checking of clock domain crossing interfaces [Communication écrite]. 10th IEEE International New Circuits and Systems Conference (NEWCAS 2012), Montréal, Québec. Lien externe