Documents dont l'auteur est "Al-Sammane, Ghiath"

Pour citer ou exporter
Nombre de documents: 1

Zaki, M. H., Al-Sammane, G., Tahar, S., & Bois, G. (novembre 2007). Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs [Communication écrite]. Formal Methods in Computer Aided Design (FMCAD 2007), Austin, TX, USA (9 pages). Lien externe

Liste produite: Thu Oct 15 11:40:42 2026 EDT.