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