位置：成果数据库 > 期刊 > 期刊详情页
测试非确定性系统的一种结构化方法
  • 期刊名称：计算机学报
  • 时间：0
  • 页码：1994年3月第17卷第3期
  • 语言：中文
  • 相关项目：非确定性分布式系统的测试方法和工具的研究
作者： 叶新铭|
同期刊论文项目
非确定性分布式系统的测试方法和工具的研究
期刊论文 5
同项目期刊论文
A Fauit Detection to the Conformance of Noneterministic Systems
集合识别问题的D序列和UIO序列的一种推导方法
The Implementation of Graphical LOTOS and Petri-net Model on PC
从LOTOS说明到Petri网的转换