Control Dependence for Extended Finite State Machines.

Kelly Androutsopoulos David Clark Mark Harman Zheng Li Laurence Tratt

Published in: FASE (2009)

Keyphrases

finite state machines
model checking
finite state automata
control system
data sets
database
control strategy
real time
information extraction
image quality
robotic systems
regular expressions
optimal control