Context-Switch-Directed Verification in DIVINE.

Vladimír Still Petr Rockai Jiri Barnat

Published in: MEMICS (2014)

Keyphrases

context sensitive
model checking
neural network
multimedia
contextual information
functional verification
similarity measure
multiscale
information systems
e learning
image processing
feature extraction
context aware
formal analysis