位置：成果数据库 > 期刊 > 期刊详情页
基于自动机的并发程序符号可达分析
  • ISSN号：1673-808X
  • 期刊名称：桂林电子科技大学学报
  • 时间：2013.8.8
  • 页码：300-304
  • 相关项目：基于抽象和符号技术的并发软件验证研究
作者： 曾宇清|钱俊彦|
同期刊论文项目
基于抽象和符号技术的并发软件验证研究
期刊论文 25 会议论文 6 专利 2
同项目期刊论文
基于答案集的Web服务组合验证
基于完备抽象解释的性质强保留抽象研究
基于并发事务逻辑的语义Web服务组合
深度优先的多基因表达式程序设计
基于上下文定界的Fork/Join并行性的并发程序可达性分析
环绕智能环境下自适应服务选择方法研究
基于赋时Petri网的装配建模研究
基于ASP的程序切片
基于ASP的CSP模型验证性质反例生成技术研究
基于上下文定界的递归队列并发程序可达性分析
基于启发式搜索的ASP程序支撑原因分析算法
基于ptSPA的概率时间信息流安全属性分析
一种基于赋时Petri网和ZBDD的装配序列规划方法
Summarization of Boolean satisfiability verification
一种面向移动计算的机密性与完整性模型
基于ASP的CSP并发系统验证研究
消防一体化环境下的信息交换平台关键技术研究
期刊信息
  • 《桂林电子科技大学学报》
  • 主管单位:桂林电子科技大学
  • 主办单位:桂林电子科技大学
  • 主编：古天龙
  • 地址：桂林市金鸡路1号
  • 邮编：541004
  • 邮箱：jgiet@guet.edu.cn
  • 电话：0773-2291014 2290812
  • 国际标准刊号：ISSN：1673-808X
  • 国内统一刊号：ISSN：45-1351/TN
  • 邮发代号:
  • 获奖情况:
  • 全国高等学校自然科学学报优秀编辑质量奖,广西优秀自然科学期刊,广西高校优秀自然科学学报,《CAJ-CD规范》执行优秀期刊,中国科技核心期刊
  • 国内外数据库收录:
  • 波兰哥白尼索引,美国剑桥科学文摘
  • 被引量:1908