Verification Components for Hybrid Systems.

Jonathan Julián Huerta y Munive

Published in: Arch. Formal Proofs (2019)

Keyphrases

hybrid systems
intelligent systems
black box
neural network
meta learning
discrete event
computational intelligence
soft computing
artificial intelligence
data mining
decision making
decision trees
software engineering
rough sets
design patterns