C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verifying Hybrid Systems.
Zohar Manna
Amir Pnueli
Published in:
Hybrid Systems (1992)
Keyphrases
</>
hybrid systems
black box
intelligent systems
soft computing
discrete event
neural network
artificial intelligence
computational intelligence
meta learning
dynamic systems
knowledge acquisition
machine learning algorithms