Semantics and Refinement of Behavior State Machines.

Kevin Lano David Clark

Published in: ICEIS (3-1) (2008)

Keyphrases

state machines
state machine
petri net
recurrent networks
data structure
semantic information
conceptual model
neural network
artificial intelligence
software systems
fault tolerant
formal semantics