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

Application of specification language SOL and its verification method to a flexible manufacturing line.

Yoshitomo IkkaiTakaaki NakashibaNorihisa Komoda
Published in: ACC (2002)
Keyphrases
  • specification language
  • verification method
  • databases
  • temporal logic
  • formal specification
  • constraint satisfaction