位置：立项数据库 > 立项详情页
第5届计算模型理论与应用国际会议
  • 项目名称：第5届计算模型理论与应用国际会议
  • 项目类别：国际(地区)合作与交流项目
  • 批准号：60810306008
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：段振华
  • 依托单位：西安电子科技大学
  • 批准年度：2008
段振华的项目
框架时序逻辑程序设计
期刊论文 54 会议论文 46 获奖 1 著作 3
第29届国际Petri网理论与应用大会
构造可信、高效软件系统的基础研究
期刊论文 8
混合系统的形式验证
期刊论文 11 会议论文 21 获奖 1 著作 3
组合Web服务的建模与验证
期刊论文 43 会议论文 21 专利 2 著作 2
开放软件系统的基础理论与关键技术
期刊论文 20
基于FPGA的高可信嵌入式系统的基础研究
期刊论文 15 会议论文 9
基于语义的恶意程序主动防御与检测机理研究
期刊论文 7
C/Verilog程序的MSVL验证理论与方法
期刊论文 3