您当前的位置：
首页 >
文章列表页 >
模型检测:理论、方法与应用
模型检测:理论、方法与应用
Model Checking: Theories, Techniques and Applications
- 电子学报 2002年30卷第S1期 页码：1907-1912
移动端阅览
HTML全文
参考文献
出版信息
数据统计
73
浏览量
5707
下载量
0
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
时间感知Web服务交互行为建模与失配检测方法研究
实时模型检测中基于驻留环的精确加速
基于XYZ/ADL的Web服务组合描述与验证
缓冲区溢出漏洞精确检测方法研究
量子马尔可夫链安全性模型检测
相关作者
Sheng
王
戎玫
张广泉
王从银
庄雷
尹传龙
何亚丽
相关机构
暨南大学深圳旅游学院广东深圳
中国科学院计算机科学国家重点实验室北京
苏州大学计算机科学与技术学院江苏苏州
暨南大学深圳旅游学院
中国科学院计算机科学国家重点实验室
