Specification and validation of dynamic systems using temporal logic

  • S. M. Cho*
  • , H. H. Kim
  • , S. D. Cha
  • , D. H. Bae
    • *Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

10 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Specification and validation of dynamic systems using temporal logic'. Together they form a unique fingerprint.

Keyphrases

Computer Science