Derivation of Monotonic Covers for Standard-C Implementation Using STG Unfoldings.

Victor Khomenko

Published in: ASYNC (2008)

Keyphrases

data sets
databases
case study
bayesian networks
real time
neural network
knowledge base
high level
data structure
hidden markov models
object oriented