A run-time verification method with consideration of uncertainties for cyber–physical systems
A run-time verification method with consideration of uncertainties for cyber–physical systems
复制标题
一种考虑信息物理系统不确定性的运行时验证方法
DOI：
10.1016/j.micpro.2023.104890
复制
发表时间：
2023
影响因子：
2.6
通讯作者：
Andrade, Hugo
中科院分区：
文献类型：
--
作者：
Mehrabian, Mohammadreza;Khayatian, Mohammad;Shrivastava, Aviral;Derler, Patricia;Andrade, Hugo
