A Fast State Assignment Procedure for Large FSMs.

Shihming Liu Massoud Pedram Alvin M. Despain

Published in: DAC (1995)

Keyphrases

finite state machines
neural network
real time
social networks
information systems
case study
multi agent
cooperative
mobile devices
multi objective
wireless sensor networks
query language
state space
description logics
model checking
search procedure