Runtime Verification Triggers Real-time, Autonomous Fault Recovery on the CySat-I}

Runtime Verification Triggers Real-time, Autonomous Fault Recovery on the CySat-I}
复制标题

运行时验证触发 CySat-I 上的实时自主故障恢复}

DOI:
--
复制
发表时间:
2022
期刊:
Proceedings of the 14th NASA Formal Methods Symposium (NFM 2022
影响因子:
--
通讯作者:
Kristin Yvonne Rozier
Kristin Yvonne Rozier
中科院分区:
--
文献类型:
--
作者:
Alexis Aurandt;Phillip Jones;Kristin Yvonne Rozier

文献摘要

相似文献