C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Semantics for Model-Based Validation of Continuous/Discrete Systems.
Luiza Gheorghe
Faouzi Bouchhima
Gabriela Nicolescu
Hanifa Boucheneb
Published in:
DATE (2008)
Keyphrases
</>
complex systems
continuous domains
expert systems
computer systems
learning systems
rewrite systems
data sets
information systems
multiscale
management system
data driven
intelligent systems
knowledge based systems
logic programming
continuous data
discrete space