A practical state machine project.

Published in: ACM Southeast Regional Conference (2009)

Keyphrases

state machine
state machines
fault tolerant
real world
finite state machines
case study
data sets
project management
software development
data model
database systems
model checking
social networks
temporal logic
information retrieval
data mining
neural network
european project
database