Sign in
Finite State Machines.
Bengt Jonsson
Published in:
Model-Based Testing of Reactive Systems (2004)
Keyphrases
</>
finite state machines
model checking
finite state automata
state machine
regular expressions
state transition
digital circuits
mutation testing