Login / Signup

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