Login / Signup
Systematic approach for constructing an understandable state machine from a contract-based specification: controlled experiments.
Jung Ho Bae
Heung Seok Chae
Published in:
Softw. Syst. Model. (2016)
Keyphrases
</>
state machine
state machines
fault tolerant
finite state machines
computer controlled
supply chain
petri net
neural network
high level
artificial neural networks
revenue sharing