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