Login / Signup
Verification Support for a State-Transition-DSL Defined with Xtext.
Thomas Baar
Published in:
Ershov Memorial Conference (2015)
Keyphrases
</>
state transition
state transition model
state transitions
black box
state space
input output
hidden markov models
knowledge management
data mining
probability distribution
semantic information
appearance model