ISCAS OpenIR  > 基础软件与系统重点实验室
模型检测:理论、方法与应用
Alternative Titlemodel checking: theories,techniques and applications
林惠民; 张文辉
2002
Source电子学报
Volume30Issue:z1
Indexed Typewanfang
Keyword系统可靠性 模态/时序逻辑 模型检测
Department计算机科学国家重点实验室
SponsorshipNational 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
Content Type期刊论文
URIhttp://ir.iscas.ac.cn/handle/311060/4472
Collection基础软件与系统重点实验室
Recommended Citation
GB/T 7714
林惠民,张文辉. 模型检测:理论、方法与应用[J]. 电子学报,2002,30(z1).
APA 林惠民,&张文辉.(2002).模型检测:理论、方法与应用.电子学报,30(z1).
MLA 林惠民,et al."模型检测:理论、方法与应用".电子学报 30.z1(2002).
Files in This Item:
File Name/Size DocType Version Access License
12.pdf(365KB) 开放获取--Application Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[林惠民]'s Articles
[张文辉]'s Articles
Baidu academic
Similar articles in Baidu academic
[林惠民]'s Articles
[张文辉]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[林惠民]'s Articles
[张文辉]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.