黄志球 周航 胡军 张广泉 刘亚萍 曹子宁

软件体系结构 Petri网 形式化规约 求精 LOTOS UML-RT Z 实时系统 形式化方法 时间变迁系统 时间Petri网 冲突 多态性 时间约束 检测 代价 UML 资源 网构软件

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