中文版 | English
ISCAS OpenIR  > 基础软件与系统重点实验室
模型检测:理论、方法与应用
其他题名model checking: theories,techniques and applications
林惠民; 张文辉
2002
发表期刊电子学报
卷号30期号:z1
收录类别wanfang
关键词系统可靠性 模态/时序逻辑 模型检测
部门归属计算机科学国家重点实验室
资助者National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office
内容类型期刊论文
URI标识http://ir.iscas.ac.cn/handle/311060/4472
专题基础软件与系统重点实验室
推荐引用方式
GB/T 7714		 林惠民,张文辉. 模型检测:理论、方法与应用[J]. 电子学报,2002,30(z1).
APA 林惠民,&张文辉.(2002).模型检测:理论、方法与应用.电子学报,30(z1).
MLA 林惠民,et al."模型检测:理论、方法与应用".电子学报 30.z1(2002).
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
12.pdf（365KB） 开放获取--请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[林惠民]的文章
[张文辉]的文章
百度学术
百度学术中相似的文章
[林惠民]的文章
[张文辉]的文章
必应学术
必应学术中相似的文章
[林惠民]的文章
[张文辉]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。