Probabilistic model checking of clock domain crossing interfaces - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zaid Al-bayati, Otmane Aït Mohamed, Yvon Savaria, Mounir Boukadoum. Probabilistic model checking of clock domain crossing interfaces. In 10th IEEE International NEWCAS Conference, Montreal, QC, Canada, June 17-20, 2012. pages 193-196, IEEE, 2012. [doi]

This author has not been identified. Look up 'Zaid Al-bayati' in GoogleThis author has not been identified. Look up 'Otmane Aït Mohamed' in GoogleThis author has not been identified. Look up 'Yvon Savaria' in GoogleThis author has not been identified. Look up 'Mounir Boukadoum' in Google

runs on WebDSL