Browse by People

Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 1.

Hsieh, Yi-Ting, Chang, Tzu-Tao, Tsai, Chen-Jun, Wu, Shih-Lun, Bai, Ching-Yuan, Chang, Kai-Chieh, Lin, Chung-Wei, Kang, Eunsuk, Huang, Chao ORCID: 0000-0002-9300-1787 and Zhu, Qi
(2023) System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints. ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, 7 (3). pp. 1-28.

This list was generated on Sat Nov 25 13:10:57 2023 GMT.