A Refinement Calculus for Promela.

Asankhaya Sharma

Published in: ICECCS (2013)

Keyphrases

image processing
refinement process
timed automata
neural network
machine learning
automated deduction
real time
multiresolution
sequent calculus
algebraic structure
formal language
query refinement
hidden markov models
multiscale
bayesian networks
knowledge base
data sets