Using Off-the-Shelf Exception Support Components in C++ Verification.

Vladimír Still Petr Rockai Jiri Barnat

Published in: QRS (2017)

Keyphrases

machine learning
image sequences
knowledge management
model checking
core components
neural network
genetic algorithm
multiscale
learning process
decision support