张勇 张德运 段中兴 胡国栋 丁会宁 吴瞻 安智平 李庆海

跳完整性 状态空间缩减 状态检测 静态调度 代理 程序依赖图 任务模块化 本地性

湖南邵阳 710049西安 西安安智科技有限公司 邵阳学院激光与信息研究所 西安交通大学西北网络中心 西安交通大学电子与信息工程学院 西安交通大学电子与信息工程学院网络研究所