Login / Signup
A formal approach for correct-by-construction system substitution.
Guillaume Babin
Published in:
CoRR (2014)
Keyphrases
</>
formal model
expert systems
real time
computer vision
three dimensional
high level
data model
hidden markov models
operational semantics