Efficient and accurate analysis of single event transients propagation using SMT-based techniques

Ghaith Bany Hamad, Ghaith Kazma, Otmane Aït Mohamed, Yvon Savaria. Efficient and accurate analysis of single event transients propagation using SMT-based techniques. In Frank Liu, editor, Proceedings of the 35th International Conference on Computer-Aided Design, ICCAD 2016, Austin, TX, USA, November 7-10, 2016. pages 54, ACM, 2016. [doi]

Authors

Ghaith Bany Hamad

This author has not been identified. Look up 'Ghaith Bany Hamad' in Google

Ghaith Kazma

This author has not been identified. Look up 'Ghaith Kazma' in Google

Otmane Aït Mohamed

This author has not been identified. Look up 'Otmane Aït Mohamed' in Google

Yvon Savaria

This author has not been identified. Look up 'Yvon Savaria' in Google