行为—交互—优先级框架相关硕士博士期刊学术论文 - 信丰网

行为—交互—优先级框架相关论文

基于BIP框架的DPU系统建模与验证

DPU(data process unit,数据处理单元)是嵌入式系统中的一个典型组件,被广泛应用于太空领域,它在层次化的嵌入式系统架构中起到承......

期刊

数据处理单元行为—交互—优先级框架形式化方法建模验证 data process unit （DPU） BIP framework formal m

看过本文同时还关注