Requirements Validation for Hybrid Systems.

Alessandro Cimatti Marco Roveri Stefano Tonetta

Published in: CAV (2009)

Keyphrases

hybrid systems
intelligent systems
black box
discrete event
computational intelligence
neural network
soft computing
meta learning
artificial intelligence
workflow systems
evolutionary algorithm
mathematical model