Towards a Model-Based Refinement Process for Contractual State Machines.

Lishan Harbird Andy Galloway Richard F. Paige

Published in: ISORC Workshops (2010)

Keyphrases

state machines
refinement process
state machine
petri net
recurrent networks
fault tolerant
learning algorithm
computer vision
object recognition
object oriented
biologically inspired
sequence diagrams