沈国华 刘亚萍 陶剑青 曹子宁 刘永志 祝义 左银龙 柳雪涛

资源自适应 成本分析 水平一致性 模型检测 时间约束 元数据集成 LOTOS 类别

江苏南京 南京航空航天大学计算机系 南京航空航天大学计算中心 南京航空航天大学自动化学院 徐州师范大学计算机科学与技术学院 南京航空航天大学信息科学与技术学院 南京航空航天大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室