Sign in
Automatic Synthesis of State Machines from Trace Diagrams.
Kai Koskimies
Erkki Mäkinen
Published in:
Softw. Pract. Exp. (1994)
Keyphrases
</>
state machines
state machine
sequence diagrams
petri net
genetic algorithm
case study
high level
structural analysis
recurrent networks