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