电脑体验，效果更佳

桂盛霖图谱-计算机领域：

相关人员

罗蕾 李允 陶勇 陆少鹏 马亮 尹立孟 刘倩

研究领域

UPPAAL 代码自动生成 模型方法 可调度性 开发环境 嵌入式软件 非抢占 模型驱动体系结构 体系结构分析设计语言 转换规则

所属机构

电子科技大学计算机科学与工程学院 北京科银京成技术有限公司成都研发中心 西南交通大学信息科学与技术学院

标签云