|
已选(0)清除
条数/页： 排序方式：
|
| 工业以太网EtherCAT协议形式化安全评估及改进 期刊论文
计算机研究与发展, 2020, 期号: 2020-11, 页码: 2312-2327
作者: 冯涛; 王帅帅; 龚翔; 方君丽
  收藏 | 浏览/下载：15/0 | 提交时间：2020/12/18
|
| 基于HCPN模型检测方法的DNP3-SA协议形式化安全评估与改进 学位论文
2018
作者: 鲁晔
收藏 | 浏览/下载：9/0 | 提交时间：2020/11/05
|
| 基于Agent的对象有色Petri Net及其在制造单元建模中的应用 期刊论文
http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=JSJY200308036&dbname=CJFQ2003, 2012, 2012
王伟; 苑伟政; 张磊
收藏 | 浏览/下载：1/0 | 提交时间：2017/06/19
|
| 基于有色Petri网模型的GUI测试用例自动生成技术 期刊论文
2010, 2010
王钊; 白晓颖; 戴桂兰; WANG Zhao; BAI Xiaoying; DAI Guilan
收藏 | 浏览/下载：5/0 |
| 基于有色Petri网模型的GUI测试用例自动生成技术 期刊论文
2010, 2010
王钊; 白晓颖; 戴桂兰; WANG Zhao; BAI Xiaoying; DAI Guilan
收藏 | 浏览/下载：2/0 |
| 面向对象的Petri网方法及其在甲骨文编码中的应用 期刊论文
华中师范大学学报(自然科学版), 1999, 卷号: 27, 期号: 4, 页码: 495-499
作者: 肖明; 胡金柱; 赵慧
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/23
|
