Login / Signup
Validation of requirements for hybrid systems: A formal approach.
Alessandro Cimatti
Marco Roveri
Angelo Susi
Stefano Tonetta
Published in:
ACM Trans. Softw. Eng. Methodol. (2012)
Keyphrases
</>
hybrid systems
black box
meta learning
intelligent systems
soft computing
discrete event
computational intelligence
neural network
artificial intelligence
workflow systems
inductive learning
fuzzy logic
orders of magnitude
life cycle
object oriented
multi class
expert systems
machine learning