辽宁石油化工大学学报2007，Vol.27Issue(1)：67-69,72,4.
交互控制协议的扩充设计及Petri网验证
Expansion Design and Petri Net Validation of Interactive Control Protocol
韩冬艳 1侯彤璞1
作者信息
- 1. 辽宁石油化工大学计算机与通信工程学院,辽宁抚顺,113001
- 折叠
摘要
关键词
交互控制协议/扩充设计/Petri网/协议验证分类
信息技术与安全科学引用本文复制引用
韩冬艳,侯彤璞..交互控制协议的扩充设计及Petri网验证[J].辽宁石油化工大学学报,2007,27(1):67-69,72,4.
