西安电子科技大学计算理论与技术研究所 
研究主题：时序逻辑 投影时序逻辑 PETRI网 命题投影时序逻辑 形式化验证
研究学科：自动化类
- 一种基于扩展有限自动机验证组合Web服务的方法 ( EI收录)
- 1
- 《软件学报》西安电子科技大学计算理论与技术研究所 雷丽晖 段振华 出版年：2007
- 关键词：组合WEB服务 确定有限自动机 形式化验证
- 量子遗传算法在Web服务选择中的应用 ( EI收录)
- 2
- 《西安电子科技大学学报》西安电子科技大学计算理论与技术研究所 黄伯虎 段振华 出版年：2010
- 关键词：WEB服务 服务质量 计算效率 量子计算 遗传算法
- 使用扩展区间时序逻辑为并发工作流建模 ( EI收录)
- 3
- 《西安电子科技大学学报》西安电子科技大学计算理论与技术研究所 雷丽晖 段振华 出版年：2007
- 关键词：并发工作流 区间时序逻辑 确定有限自动机
- 分布式软件系统交互行为建模、验证与测试 ( EI收录)
- 4
- 《计算机研究与发展》西安电子科技大学计算理论与技术研究所;西安电子科技大学计算机学院 张琛 段振华 田聪 鱼滨 出版年：2015
- 关键词：分布式软件系统 建模 模型检测 验证 测试用例
- 基于事件确定有限自动机的UML2.0序列图描述与验证 ( EI收录)
- 5
- 《软件学报》西安电子科技大学计算理论与技术研究所;西安电子科技大学ISN国家重点实验室 张琛 段振华 田聪 出版年：2011
- 关键词：UML2.0序列图 事件确定有限自动机 模型检测 命题投影时序逻辑 验证
- 应用UML2.0模型的测试用例生成方法 ( EI收录)
- 6
- 《西安交通大学学报》西安电子科技大学计算理论与技术研究所;西安电子科技大学ISN国家重点实验室 张琛 段振华 出版年：2011
- 关键词：测试用例 命题投影时序逻辑 模型检测 覆盖准则
- 着色Petri网模型检测工具的扩展及其在Web服务组合中的应用 ( EI收录)
- 7
- 《计算机研究与发展》西安电子科技大学计算理论与技术研究所 门鹏 段振华 出版年：2009
- 关键词：着色PETRI网 WEB服务组合 形式化验证 模型检测 时序逻辑
- 一种嵌套中断系统的建模和分析方法 ( EI收录)
- 8
- 《软件学报》ISN国家重点实验室(西安电子科技大学);西安电子科技大学计算理论与技术研究所 崔进 段振华 田聪 张南 出版年：2018
- 关键词：嵌套中断系统 投影时序逻辑 MSVL(modeling,simulation and VERIFICATION language) 形式化建模与验证
- 面向投影时序逻辑的Web服务模型检测 ( EI收录)
- 9
- 《西安交通大学学报》西安电子科技大学计算理论与技术研究所 王小兵 段振华 出版年：2009
- 关键词：形式逻辑 投影时序逻辑 WEB服务 模型检测
- 面向对象的时序逻辑语言 ( EI收录)
- 10
- 《电子科技大学学报》西安电子科技大学计算理论与技术研究所;武汉大学软件工程国家重点实验室 王小兵 段振华 出版年：2009
- 关键词：形式语言 时序逻辑 面向对象程序设计 组合WEB服务
