Proving the Correctness of Multicopter Rotor Fault Detection and Identification Software
Proving the Correctness of Multicopter Rotor Fault Detection and Identification Software
复制标题
证明多旋翼转子故障检测识别软件的正确性
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Varela, Carlos A.
中科院分区：
文献类型：
--
作者：
Bhaumik, Ankita;Dutta, Airin;Kopsaftopoulos, Fotis;Varela, Carlos A.
登录
查看更多内容
使用容错数据流处理确保飞机飞行安全
影响因子：
3.6
作者：
Shigeru Imai;Erik Blasch;A. Galli;Wennan Zhu;F. Lee;Carlos A. Varela
通讯作者：
Carlos A. Varela
使用时间认知逻辑的故障检测和识别组件的形式化设计
DOI：
--
发表时间：
2014
期刊：
International Conference on Tools and Algorithms for Construction and Analysis of Systems
影响因子：
--
作者：
M. Bozzano;A. Cimatti;M. Gario;S. Tonetta
通讯作者：
S. Tonetta
使用多种分析冗余模型的自我修复数据流
DOI：
--
发表时间：
2019
期刊：
Symposium on Dependable Autonomic and Secure Computing
影响因子：
--
作者：
Shigeru Imai;F. Hole;Carlos A. Varela
通讯作者：
Carlos A. Varela
在 Dafny 中建模并发
DOI：
--
发表时间：
2017
期刊：
International School on Engineering Trustworthy Software Systems
影响因子：
--
作者：
K. Leino
通讯作者：
K. Leino
用于自我修复航空电子设备的动态数据驱动学习
DOI：
--
发表时间：
2019
期刊：
Cluster Computing
影响因子：
--
作者：
Shigeru Imai;Sida Chen;Wennan Zhu;Carlos A. Varela
通讯作者：
Carlos A. Varela