C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verification of Supervisory Control Software Using State Proximity and Merging.
Flavio Lerda
James Kapinski
Edmund M. Clarke
Bruce H. Krogh
Published in:
HSCC (2008)
Keyphrases
</>
control software
control system
real time
model checking
state space
information retrieval
search engine
image segmentation
database systems
search algorithm