段振华
【姓名】 段振华
【职称】 教授;
【研究领域】 计算机软件及计算机应用;计算机硬件技术;电力工业;
【研究方向】
【发表文献关键词】 投影时序逻辑,Web服务,安全策略,安全中介,混合系统,多速率自动机,可达性分析,服务提供,组合Web服务,OWL-S,工作流模式,处理器,符号化,实时系统,规范说明,时序逻辑,模型检查,形式化描述,...
【工作单位】 西安电子科技大学
【曾工作单位】 西安电子科技大学;
【所在地域】 陕西西安
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/117 59 62 1 532 10588
中国期刊全文数据库    共找到75篇
[1]王榕;田聪;孙军;于斌;段振华;.基于记忆策略的元解释学习[J]软件学报.2025,(08)
[2]董彦松;刘月浩;董旭乾;赵亮;田聪;于斌;段振华;.基于误差分治的神经网络验证[J]软件学报.2024,(05)
[3]马润哲;田聪;王文胜;段振华;.Büchi自动机确定化分析工具[J]软件学报.2024,(09)
[4]苏杰;杨祖超;田聪;段振华;.基于约束依赖图的并发程序模型检测工具[J]软件学报.2023,(07)
[5]王文胜;田聪;段振华;.Streett自动机确定化工具[J]软件学报.2023,(08)
[6]陆旭;于斌;段振华;王德奎;陈矗;崔进;.智能规划中面向简单偏好的高效求解方法[J]软件学报.2023,(07)
[7]于斌;陆旭;田聪;段振华;张南;.面向SQLite3数据库API调用序列的并行运行时验证方法[J]软件学报.2022,(08)
[8]陆旭;于斌;田聪;段振华;.一种利用非确定规划的LTL合成方法[J]软件学报.2022,(08)
[9]杨孟飞;顾斌;段振华;金芝;詹乃军;董云卫;田聪;李戈;董晓刚;李晓锋;.嵌入式软件智能合成框架及关键科学问题[J]中国空间科学技术.2022,(04)
[10]姚广宇;张南;田聪;段振华;刘灵敏;孙风津;.芯片开发功能验证的形式化方法[J]软件学报.2021,(06)
更多
承担国家科研项目    共找到6个
[1]段振华;.框架时序逻辑程序设计[A].西安电子科技大学;.项目经费 180万元.2004-03-31.资助文献数 20 篇
[2]段振华;.混合系统的形式验证[A].西安电子科技大学;.项目经费 24万元.2003-03-31.资助文献数 13 篇
[3]段振华;.组合Web服务的建模与验证[A].西安电子科技大学;.项目经费 36万元.2008-03-20.资助文献数 5 篇
[4]段振华;.第5届计算模型理论与应用国际会议[A].西安电子科技大学;.项目经费 3万元.2008-03-20.资助文献数 0 篇
[5]段振华;.第29届国际Petri网理论与应用大会[A].西安电子科技大学;.项目经费 3万元.2008-03-20.资助文献数 0 篇
[6]段振华;刘少英;刘西洋;裴庆祺;杨利英.信息服务的需求获取与建模[A].西安电子科技大学.项目经费 -.2009-03-31.资助文献数 0 篇
更多