Attributed State Machines For Behavior Specification of Reactive Systems.

Shiyuan Ding Takuya Katayama

Published in: SEKE (1993)

Keyphrases

state machines
reactive systems
state machine
petri net
model checking
temporal logic
information flow
formal methods
control flow
recurrent networks
sequence diagrams
machine learning
relational databases
fault tolerant
recurrent neural networks
software maintenance