Work-in-Progress: Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness
Work-in-Progress: Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness
复制标题
正在进行的工作:具有逻辑和时序正确性的实时系统的最佳检查点策略
DOI:
10.1109/rtss55097.2022.00055
复制
发表时间:
2022
期刊:
影响因子:
--
通讯作者:
Kong, Fanxin
中科院分区:
文献类型:
--
作者:
Zhang, Lin;Wang, Zifan;Kong, Fanxin