Specifying Component Behavior with Port State Machines.

Published in: Electron. Notes Theor. Comput. Sci. (2004)

Keyphrases

state machines
state machine
petri net
database
neural network
object oriented
software engineering
fault tolerant
recurrent neural networks
sequence diagrams
recurrent networks
reactive systems