|国家科技期刊平台

首页|期刊导航|计算机工程|基于模型的验证及其方法

基于模型的验证及其方法

赵辉李彤

计算机工程2001，Vol.27Issue(8)：45-46,2.

✕

计算机工程2001，Vol.27Issue(8)：45-46,2.

基于模型的验证及其方法

Model-based Verification and Related Methods

赵辉 ¹李彤¹

作者信息

1. 云南大学计算机系
折叠

摘要

关键词

模型验证/模型检测/SMV/SPIN

分类

信息技术与安全科学

引用本文复制引用

赵辉,李彤..基于模型的验证及其方法[J].计算机工程,2001,27(8):45-46,2.

计算机工程

OA北大核心CSCD

ISSN：1000-3428

访问量0

|

下载量0

段落导航

相关论文

摘要
关键词
分类
引用文本