|
已选(0)清除
条数/页： 排序方式：
|
| 基于模型检测的AppSec协议的形式化验证与改进 学位论文
2016
作者: 白雪娇
  收藏 | 浏览/下载：4/0 | 提交时间：2019/11/26
|
| Concurrent Algorithms in SPIN Model Checker 其他
2016-01-01
Nawaz, M. Saqib; Ali, Hussam; Lali, M. IkramUllah
收藏 | 浏览/下载：2/0 | 提交时间：2017/12/03
|
| Model checking the DNS under DNS cache-poisoning attacks using SPIN 期刊论文
SCIENCEASIA, 2016, 卷号: 42, 页码: 49-55
作者: Zhang, Wei; Yang, Meihong; Zhang, Xinchang; Shi, Huiling
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/16
|
| 基于Spin检测语义Web服务过程模型 期刊论文
2015, 2015
周瑾; 吴尽昭; 杨建书
收藏 | 浏览/下载：2/0 | 提交时间：2017/06/19
|
| 基于SPIN求解狼和白菜过河问题 期刊论文
2014, 卷号: 0, 期号: 2, 页码: 35-37
作者: 姚雪梅; 艾颖
收藏 | 浏览/下载：4/0 | 提交时间：2020/01/02
|
| Modelling and Verification of Compensating Transactions using the Spin Tool 会议论文
作者: Wan, Kaiyu; Kapoor, Hemangee K.; Das, Shirshendu; Raju, B.; Krilavicius, Tomas
收藏 | 浏览/下载：4/0 | 提交时间：2019/12/10
|
| 基于连续ARQ协议的隐蔽洪水攻击 期刊论文
2012, 卷号: 22, 期号: 10, 页码: 177-180
作者: 赵梦龙; 唐郑熠
收藏 | 浏览/下载：2/0 | 提交时间：2020/01/02
|
| 基于SPIN的系统建模研究 期刊论文
计算机与现代化, 2012, 页码: 209-214
作者: 徐小丽
收藏 | 浏览/下载：3/0 | 提交时间：2020/01/06
|
| UML模型检测方法的研究 期刊论文
2010, 2010
张频; 罗贵明; ZHANG Pin; LUO Gui-ming
收藏 | 浏览/下载：4/0 |
| Petri网模型的扩展与检测 期刊论文
2010, 2010
姜洋; 罗贵明; JIANG Yang; LUO Gui-ming
收藏 | 浏览/下载：4/0 |
