位置：成果数据库 > 期刊 > 期刊详情页
双重软件体系结构描述框架 XYZ/ADL
  • ISSN号：1000-1239
  • 期刊名称：计算机研究与发展
  • 时间：0
  • 页码：1485-1494
  • 语言：中文
  • 相关项目：有限精度时间自动机的模型检测方法及语言特征研究
作者： 朱雪阳|
同期刊论文项目
有限精度时间自动机的模型检测方法及语言特征研究
期刊论文 4 会议论文 3
同项目期刊论文
一种基于离散时间自动机的LTL性质检测工具
双重软件体系结构描述框架XYZ／ADL
时间自动机的LTL性质模型检测研究
期刊信息
  • 《计算机研究与发展》
  • 中国科技核心期刊
  • 主管单位:中国科学院
  • 主办单位:中国科学院计算技术研究所
  • 主编：徐志伟
  • 地址：北京市科学院南路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