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 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.

Engineering & Materials Science