聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 电信业务特性集成的时序着色Petri网模型(英文)
出处:华南理工大学学报(自然科学版) 2002年第1期
摘要:提出了一个电信系统业务特性集成的建模和检验方法 .根据这个方法 ,现有的系统和新的业务特性分别表述为一... 显示全部
关键词: 着色 特性集成 不变量 软件检验 电信系统 时序逻辑
找到1条结果
`