<  Back to the Polytechnique Montréal portal

Semantics for model-based validation of continuous/discrete systems

L. Gheorghe, F. Bouchhima, Gabriela Nicolescu and Hanifa Boucheneb

Paper (2008)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/20757/
Conference Title: Design, Automation and Test in Europe Conference and Exhibition (DATE 2008)
Conference Location: Munich, Germany
Conference Date(s): 2008-03-10 - 2008-03-14
Publisher: IEEE
DOI: 10.1109/date.2008.4484730
Official URL: https://doi.org/10.1109/date.2008.4484730
Date Deposited: 18 Apr 2023 15:15
Last Modified: 05 Apr 2024 11:04
Cite in APA 7: Gheorghe, L., Bouchhima, F., Nicolescu, G., & Boucheneb, H. (2008, March). Semantics for model-based validation of continuous/discrete systems [Paper]. Design, Automation and Test in Europe Conference and Exhibition (DATE 2008), Munich, Germany. https://doi.org/10.1109/date.2008.4484730

Statistics

Dimensions

Repository Staff Only

View Item View Item