Formal Verification of Safety-Critical Aerospace Systems
Formal Verification of Safety-Critical Aerospace Systems
复制标题
安全关键航空航天系统的形式验证
DOI：
--
复制
发表时间：
2023
影响因子：
3.6
通讯作者：
Paul, Saswata and
中科院分区：
文献类型：
--
作者：
Paul, Saswata and
登录
查看更多内容
使用安全信封证明数据驱动系统的运行时属性
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
S. Breese;F. Kopsaftopoulos;Carlos A. Varela
通讯作者：
Carlos A. Varela
通过图转换系统进行可靠消息传递的建模和验证
DOI：
10.1016/j.entcs.2007.04.015
发表时间：
2006
期刊：
影响因子：
--
作者：
László Gönczy;Máté Kovács;Dániel Varró
通讯作者：
Dániel Varró
使用故障感知参与者模型验证 Synod 中的最终共识
DOI：
--
发表时间：
2021
期刊：
NASA Formal Methods Symposium
影响因子：
--
作者：
Paul, S.;Agha, G.A.;Patterson, S;Varela, C.A.
通讯作者：
Varela, C.A.
证明多旋翼转子故障检测识别软件的正确性
DOI：
--
发表时间：
2021
期刊：
The 40th AIAA/IEEE Digital Avionics Systems Conference
影响因子：
--
作者：
Bhaumik, Ankita;Dutta, Airin;Kopsaftopoulos, Fotis;Varela, Carlos A.
通讯作者：
Varela, Carlos A.
使用容错数据流处理确保飞机飞行安全
影响因子：
3.6
作者：
Shigeru Imai;Erik Blasch;A. Galli;Wennan Zhu;F. Lee;Carlos A. Varela
通讯作者：
Carlos A. Varela