Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu
et Hanifa Boucheneb
Communication écrite (2008)
Un lien externe est disponible pour ce document
| Département: | Département de génie informatique et génie logiciel |
|---|---|
| URL de PolyPublie: | https://publications.polymtl.ca/20757/ |
| 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 |
| DOI: | 10.1109/date.2008.4484730 |
| Autres DOI associés à ce document: | 10.1145/1403375.1403493 |
| URL officielle: | https://doi.org/10.1109/date.2008.4484730 |
| Date du dépôt: | 18 avr. 2023 15:15 |
| Dernière modification: | 05 sept. 2025 15:33 |
| 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 |
