基本信息
段振华
，男
，任职于西安电子科技大学计算机学院
，教授
，计算理论与技术研究所所长、教授、博士生导师、硕士生导师
。
主要研究领域为：并发、实时、混合系统的理论和应用技术、基于Internet和Web服务的软件设计、开发和计算技术（包括中间件、构件、XML、语义WEB、网格和P2P）、可编程芯片（PLD和FPGA）的支持软件技术
主要研究领域为：并发、实时、混合系统的理论和应用技术、基于Internet和Web服务的软件设计、开发和计算技术（包括中间件、构件、XML、语义WEB、网格和P2P）、可编程芯片（PLD和FPGA）的支持软件技术
学术成果
论文
2017年，APTL公式的可满足性检查工具，软件学报，2018年06期，页码：125-136
2017年，一种嵌套中断系统的建模和分析方法，软件学报，2018年06期，页码：160-170
2017年，消息传递的MSVL通信机制及其实现，软件学报，2018年06期，页码：97-111
2016年，Model checking concurrent systems with MSVL，Science China Information Sciences，2016年59卷11期
2016年，Model checking Petri nets with MSVL，Information Sciences，2016年363卷，页码：274-291
2016年，信息服务的需求获取与建模研究一般性科技报告，科技资讯，2016年08期，页码：175
2016年，NuTL2PFG:νTL公式的可满足性检查，软件学报，2017年04期，页码：158-166
2016年，Model checking of pushdown systems for projection temporal logic，Theoretical Computer Science，2016年
2016年，A Self-ORganizing Trust Model Based on HP2P，A Self-ORganizing Trust Model Based on HP2P，2016年，页码：96-101
2016年，Verifying safety critical task scheduling systems in PPTL axiom system，Journal of Combinatorial Optimization，2016年31卷2期，页码：577-603