Online Signal Monitoring With Bounded Lag
Online Signal Monitoring With Bounded Lag
复制标题
具有有限滞后的在线信号监控
DOI：
10.1109/tcad.2020.3013053
复制
发表时间：
2020
影响因子：
2.9
通讯作者：
Wang, Zhifu
中科院分区：
文献类型：
--
作者：
Mamouras, Konstantinos;Wang, Zhifu
登录
查看更多内容
DOI：
10.1109/tcad.2018.2858460
发表时间：
2018-11-01
影响因子：
2.9
作者：
Jaksic, Stefan;Bartocci, Ezio;Nickovic, Dejan
通讯作者：
Nickovic, Dejan
时态逻辑与信号处理
DOI：
--
发表时间：
2012
期刊：
Automated Technology for Verification and Analysis
影响因子：
--
作者：
Alexandre Donzé;O. Maler;E. Bartocci;D. Ničković;R. Grosu;S. Smolka
通讯作者：
S. Smolka
同步数据流系统中时钟的抽象
DOI：
--
发表时间：
2008
期刊：
Asian Symposium on Programming Languages and Systems
影响因子：
--
作者：
Albert Cohen;Louis Mandel;Florence Plateau;Marc Pouzet
通讯作者：
Marc Pouzet
使用导数的在线定时模式匹配
DOI：
--
发表时间：
2016
期刊：
International Conference on Tools and Algorithms for Construction and Analysis of Systems
影响因子：
--
作者：
Dogan Ulus;Thomas Ferrère;E. Asarin;O. Maler
通讯作者：
O. Maler
箭头、机器人和函数式反应式编程
DOI：
10.1007/978-3-540-44833-4_6
发表时间：
2002
期刊：
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
影响因子：
--
作者：
P. Hudak;A. Courtney;H. Nilsson;J. Peterson
通讯作者：
J. Peterson