时序约束路径相关硕士博士期刊学术论文 - 信丰网

时序约束路径相关论文

基于时间Petri网的综合航电系统时序验证分析

综合航电系统是一种对可靠性、实时性要求非常高的嵌入式应用系统；为了解决针对复杂应用场景下综合航电系统的处理时间和工作时序预......

期刊

综合航电系统时间PETRI网时序约束路径时序推理算法 Integrated Avionics System Timed Petri Net Tempo

看过本文同时还关注