电脑体验，效果更佳

桑楠图谱-航空航天领域：

相关人员

杨霞 常政威 雷航 雷剑 覃志东 古幼鹏 熊光泽 江维

研究领域

安全关键软件 调度算法 时空隔离 安全关键 风险 两级调度机制 软件测试 静态模型 可靠性验证 调度 ARINC-653 软件可靠性 实时系统 嵌入式安全关键系统 非周期任务 贝叶斯方法

所属机构

电子科技大学计算机科学与工程学院

标签云