段风琴
【姓名】 段风琴
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】 计算机软件、模型检测
【发表文献关键词】 模型检测,Spin,Promela,Petri 网,线性时序逻辑,时序逻辑描述,公平性,可达性,迁移,性质,有界性,检验结果,库所,编程描述,死锁,公平网,激活,计算机科学,判断,通道,
【工作单位】 贵州大学
【曾工作单位】 贵州大学;
【所在地域】 贵州贵阳
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 1 1 2 4 491
中国期刊全文数据库    共找到1篇
[1]段风琴;李祥;.Petri网性质的线性时序逻辑描述与Spin检验[J]计算机科学.2006,(05)
更多
中国优秀硕士学位论文全文数据库    共找到1篇