Runtime Verification: The Application Perspective.

Yliès Falcone Lenore D. Zuck

Published in: ISoLA (1) (2012)

Keyphrases

decision support
computer vision
operating system
database
neural network
decision making
optimal solution
evolutionary algorithm