• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Verification of Supervisory Control Software Using State Proximity and Merging.

Flavio LerdaJames KapinskiEdmund M. ClarkeBruce 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