|国家科技期刊平台
| 注册
首页|期刊导航|计算机工程与应用|一种基于模型的创建形式化规格说明的方法

一种基于模型的创建形式化规格说明的方法

蒋良 王世业

计算机工程与应用1998，Vol.34Issue(7)：P.49-52,4.
✕
计算机工程与应用1998，Vol.34Issue(7)：P.49-52,4.

一种基于模型的创建形式化规格说明的方法

蒋良 1王世业1

作者信息

  • 1. 复旦大学计算机系
  • 折叠

摘要

关键词

规格说明/形式经/结构化分类/形式语言/计算机

分类

信息技术与安全科学

引用本文复制引用

蒋良,王世业..一种基于模型的创建形式化规格说明的方法[J].计算机工程与应用,1998,34(7):P.49-52,4.

计算机工程与应用

OA北大核心CSCD

1002-8331

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