胡春丽 陈伟清 毋国庆 何峰 李剑 王敏 朱立松

嵌入式实时系统 软件需求 不确定性状态转换 需求描述模型 一致性检查 实时系统 不可达状态 构图 规则集 层次式有穷状态机 动态执行模型 需求规格说明

武汉大学软件工程国家重点实验室 武汉大学计算机科学系 湖北武汉