Semantics for model-based validation of continuous/discrete systems

Luiza Gheorghe, Faouzi 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
Other DOIs related to this document:	10.1145/1403375.1403493
Official URL:	https://doi.org/10.1109/date.2008.4484730
Date Deposited:	18 Apr 2023 15:15
Last Modified:	05 Sep 2025 15:33

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
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Simple Metadata

Statistics

Repository Staff Only