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
Link opens in a new tab
Citations
(Scopus)