Monter d'un niveau |
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