位置：成果数据库 > 期刊 > 期刊详情页
一种有效的形式描述技术；CE-OLTOS
  • 期刊名称：内蒙古大学学报
  • 时间：0
  • 页码：2000年第31卷，第3期PP325-328
  • 语言：中文
  • 相关项目：分布式系统的形式描述技术与测试方法的研究
作者： 周建涛，叶新铭|
同期刊论文项目
分布式系统的形式描述技术与测试方法的研究
期刊论文 10
同项目期刊论文
非确定系统中可观察状态集的识别序列的一种推导方法
非确定性系统的动态测试过程
OSPF协议中路由表计算的测试例生成方法
基于Petri网的边界网关协议（BGP4）的形式模型
基于PETRI网模型OSPF路由算法的测试序列生成
PETRI网的可达图与可达树的比较
INTERNET面向用户的计帐方法
协议一致性测试平台的设计和实现
非确定并发系统的基于说明的没试推导