|国家科技期刊平台
| 注册
首页|期刊导航|计算机工程|并发验证系统中操作向导的设计与实现

并发验证系统中操作向导的设计与实现

高祺 蒋昌俊

计算机工程2001，Vol.27Issue(9)：29-31,3.
✕
计算机工程2001，Vol.27Issue(9)：29-31,3.

并发验证系统中操作向导的设计与实现

Design and Implementation of Operation Wizard of Concurrent System

高祺 1蒋昌俊1

作者信息

  • 1. 同济大学计算机科学与工程系
  • 折叠

摘要

关键词

Petri网模型/操作向导/处理模块/对话栏

分类

信息技术与安全科学

引用本文复制引用

高祺,蒋昌俊..并发验证系统中操作向导的设计与实现[J].计算机工程,2001,27(9):29-31,3.

计算机工程

OA北大核心CSCD

1000-3428

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