FSM-Hume: programming resource-limited systems using bounded automata.

Greg Michaelson Kevin Hammond Jocelyn Sérot

Published in: SAC (2004)

Keyphrases

resource limited
finite state machines
expert systems
programming language
distributed systems
embedded systems
finite state
real time
management system
knowledge based systems
complex systems
model checking
programming environments