Documents publiés en "2007"

Département de génie informatique et génie logiciel

Al Sammane, G., Zaki, M. H., Tahar, S., & Bois, G. (août 2007). Constraint-based verification of delta-sigma modulators using interval analysis [Communication écrite]. 50th Midwest Symposium on Circuits and Systems (MWSCAS 2007), Montreal, Qc, Canada (4 pages). Lien externe

Dong, Z. J., Zaki, M. H., Al Sammane, G., Tahar, S., & Bois, G. (août 2007). Run-time verification using the VHDL-AMS simulation environment [Communication écrite]. 5th IEEE International Northeast Workshop on Circuits and Systems (NEWCAS 2007), Montreal, Qc, Canada. Lien externe