Automated Conformance Verification of Hybrid Systems.

Harald Brandl Martin Weiglhofer Bernhard K. Aichernig

Published in: QSIC (2010)

Keyphrases

hybrid systems
black box
intelligent systems
meta learning
computational intelligence
neural network
soft computing
discrete event
artificial intelligence
machine learning
genetic algorithm
fuzzy logic
decision making
software engineering
business processes
dynamic systems