|国家科技期刊平台
| 注册
首页|期刊导航|电子学报|模型检测:理论、方法与应用

模型检测:理论、方法与应用

林惠民 张文辉

电子学报2002，Vol.30Issue(12A)：P.1907-1912,6.
✕
电子学报2002，Vol.30Issue(12A)：P.1907-1912,6.

模型检测:理论、方法与应用

林惠民 1张文辉1

作者信息

  • 1. 中国科学院软件研究所,北京100080
  • 折叠

摘要

关键词

系统可靠性/模态/时序逻辑/模型检测/计算机/硬件系统/时空效率

分类

信息技术与安全科学

引用本文复制引用

林惠民,张文辉..模型检测:理论、方法与应用[J].电子学报,2002,30(12A):P.1907-1912,6.

基金项目

国家自然科学基金(No.6983320) （No.6983320）

电子学报

OA北大核心CSCDCSTPCD

0372-2112

访问量0
|
下载量0
段落导航相关论文