Evolving Finite-State Machine Strategies for Protecting Resources.

William M. Spears Diana F. Gordon

Published in: ISMIS (2000)

Keyphrases

finite state machines
model checking
state machine
finite state automata
limited resources
resource allocation
regular expressions
resource management
database
knowledge base
resource constraints
state transition