Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study.

Antonis D. Papatsaras Bill Stoddart

Published in: ZB (2002)

Keyphrases

event driven
state machine
case study
finite state machines
probabilistic model
database
real time
state machines
statistical models
information delivery