Kohei Suenaga
Kohei Suenaga
复制标题
末永航平
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
登录
查看更多内容
DOI：
10.1145/3359986.3361203
发表时间：
2019-10
期刊：
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design
影响因子：
--
作者：
Mohammad Hekmatnejad;Shakiba Yaghoubi;Adel Dokhanchi;H. B. Amor;Aviral Shrivastava;Lina Karam;Georgios Fainekos
通讯作者：
Mohammad Hekmatnejad;Shakiba Yaghoubi;Adel Dokhanchi;H. B. Amor;Aviral Shrivastava;Lina Karam;Georgios Fainekos
DAMON：用于糖尿病管理的数据真实性监控系统
DOI：
--
发表时间：
2018
期刊：
International Conference on Internet-of-Things Design and Implementation
影响因子：
--
作者：
W. Young;J. Corbett;M. Gerber;S. Patek;Lu Feng
通讯作者：
Lu Feng
模拟和混合信号系统基于属性的监控
DOI：
10.1007/978-3-642-15297-9_3
发表时间：
2010
期刊：
International Conference on Formal Modeling and Analysis of Timed Systems
影响因子：
--
作者：
John Havlicek;S. Little;O. Maler;D. Ničković
通讯作者：
D. Ničković
迈向经过验证的人工胰腺：运行时验证的挑战和解决方案
DOI：
--
发表时间：
2015
期刊：
Runtime Verification
影响因子：
--
作者：
F. Cameron;Georgios Fainekos;D. Maahs;S. Sankaranarayanan
通讯作者：
S. Sankaranarayanan
DOI：
10.1007/978-3-031-17926-6_6
发表时间：
2022
期刊：
Trust and Privacy in Digital Business
影响因子：
--
作者：
Aikaterini Triakosia;P. Rizomiliotis;K. Tserpes;C. Tonelli;V. Senni;F. Federici
通讯作者：
F. Federici