Specification and validation of dynamic systems using temporal logic

S. M. Cho, H. H. Kim, S. D. Cha, D. H. Bae

Research output: Contribution to journalArticlepeer-review

9 Citations (Scopus)

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

Engineering & Materials Science