吕建 李生 马晓星 窦万春 王志明 吴林 蔡立志 陈红林

软件测试 动态演化 键合图 可调度性分析 强可调度 多工作流网 时间相关Petri网 估算模型

陕西西安 江苏南京 黑龙江哈尔滨 西北工业大学电子工程系 南京大学计算机软件研究所 哈尔滨工业大学计算机科学与技术学院信息检... 计算机软件新技术国家重点实验室（南京大学... 哈尔滨理工大学应用科学学院电子科学与技术...