Login / Signup
Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement.
Christian Prehofer
Published in:
IFM (2013)
Keyphrases
</>
state transition
finite state machines
black box
state transition model
hidden markov models
state transitions
input output
state space
markov chain
high level
probability distribution
delay insensitive
model checking
class diagram
pattern matching
learning algorithm
human behavior
hand drawn