Semantics for model-based validation of continuous/discrete systems

Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb

Communication écrite (2008)

Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Adresse URL de PolyPublie:
Nom de la conférence:
Design, Automation and Test in Europe Conference and Exhibition (DATE 2008)
Lieu de la conférence:
Munich, Germany
Date(s) de la conférence:
2008-03-10 - 2008-03-14
Maison d'édition:
IEEE
Autres DOI associés à ce document:
OAI:
oai:publications.polymtl.ca:20757
ORCID
Date du dépôt:
18 avr. 2023 15:15
Dernière modification:
14 oct. 2026 12:52
Citer en APA 7:
Gheorghe, L., Bouchhima, F., Nicolescu, G., & Boucheneb, H. (mars 2008). Semantics for model-based validation of continuous/discrete systems [Communication écrite]. Design, Automation and Test in Europe Conference and Exhibition (DATE 2008), Munich, Germany. https://doi.org/10.1109/date.2008.4484730

Statistiques

Dimensions

Actions réservées au personnel

Afficher document
Afficher document