位置：成果数据库 > 期刊 > 期刊详情页
基于命题投影时序逻辑的WISHBONE On-Chip Bus符号模型检测
  • ISSN号：1000-1239
  • 期刊名称：计算机研究与发展
  • 时间：0
  • 页码：-
  • 相关项目：基于APTL的开放系统模型检测
作者： 逄涛|段振华|
同期刊论文项目
基于APTL的开放系统模型检测
期刊论文 26 会议论文 28 专利 13
同项目期刊论文
Transformation from PLTL to Automata via NFGs
A complete proof system for propositional projection temporal logic
Verifying a Carry Look-Ahead Adder with Propositional Projection Temporal Logic
Secure Communications with Strange Planet Protocol
ITL Semantics of Composite Petri Nets
进位保留加法器的命题投影时序逻辑组合验证
An Efficient Approach for Abstraction Refinement in Model Checking
性能非对称多核处理器上的自适应调度
A cylinder computation model for many-core parallel computing
PNP2MSVL：工作流网到MSVL的转换
真并发等价性下的流程模型转换方法
应用UML2.0模型的测试用例生成方法
基于命题投影时序逻辑的单调速率调度算法模型检测
有穷时间投影时序逻辑的完备公理系统
基于事件确定有限自动机的UML2．0序列图描述与验证
BPEL流程建模中的交叠模式分析与转换
PN2MSVL：工作流网到MSVL的转换
WISHBONE片上总线符号模型检测
期刊信息
  • 《计算机研究与发展》
  • 中国科技核心期刊
  • 主管单位:中国科学院
  • 主办单位:中国科学院计算技术研究所
  • 主编：徐志伟
  • 地址：北京市科学院南路6号中科院计算所
  • 邮编：100190
  • 邮箱：crad@ict.ac.cn
  • 电话：010-62620696 62600350
  • 国际标准刊号：ISSN：1000-1239
  • 国内统一刊号：ISSN：11-1777/TP
  • 邮发代号:2-654
  • 获奖情况:
  • 2001-2007百种中国杰出学术期刊，2008中国精品科...,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,荷兰文摘与引文数据库,美国工程索引,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:40349