杜慧敏
【姓名】 杜慧敏
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】 形式化方法和VLSI设计的研究
【发表文献关键词】 Bchi自动机,命题时态逻辑,形式化验证,自动机,Büchi自动机,有限状态系统,时态逻辑,验证方,节点,构造识别,Kripke结构,转移表,全门,建模,原子命题,线性命题时态逻辑,接收条件,线性时...
【工作单位】 西北工业大学
【曾工作单位】 西北工业大学;
【所在地域】 陕西西安
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 1 1 1 6 169
中国期刊全文数据库    共找到1篇
[1]杜慧敏,杨红丽,高德远,韩俊刚.一种基于时态逻辑的有限状态系统验证方法[J]西北工业大学学报.2000,(01)
更多