Login / Signup
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