1.Online Reset for Signal Temporal Logic Monitoring
Zhang, ZY, Arcaini, More...
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS[0278-0070], Published 2022, Volume 41, Issue 11, Pages 4421-4432
收錄情况: WOS SCOPUS
WOS核心合集引用: 6 2024影響因子: 2.9 发表年影響因子: 2.9
本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器
Copyright © 2018 澳門科技大學學者庫