Mohamed H. Zaki, William Denman, Sofiene Tahar, Guy Bois
Article de revue (2009)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Département:
Adresse URL de PolyPublie:
Titre de la revue
:
Journal of Aerospace Computing, Information and Communication
(
vol.
6
,
no
5
)
Maison d'édition:
American Institute of Aeronautics and Astronautics
DOI:
URL officielle:
OAI:
oai:publications.polymtl.ca:18790
ORCID
Date du dépôt:
18 avr. 2023 15:15
Dernière modification:
14 oct. 2026 11:21
Citer en APA 7:
Zaki, M. H., Denman, W., Tahar, S., & Bois, G. (2009). Integrating abstraction techniques for formal verification of analog designs. Journal of Aerospace Computing, Information and Communication, 6(5), 373-392. https://doi.org/10.2514/1.44289
Statistiques
Dimensions
