KMS

浏览/检索结果: 共2条,第1-2条 帮助

已选(0)清除 条数/页:   排序方式:
系统软件安全专题前言 期刊论文
软件学报, 2022, 卷号: 33, 期号: 06, 页码: 1959-1960
作者:  杨珉;  张超;  宋富;  张源
Adobe PDF(358Kb)  |  收藏  |  浏览/下载:372/0  |  提交时间:2022/12/14
Model-Checking for Heterogeneous Multi-Agent Systems 期刊论文
软件学报, 2018, 卷号: 29, 期号: 6, 页码: 1582-1594
作者:  Zhang, Ye-Di;  Song, Fu
Adobe PDF(745Kb)  |  收藏  |  浏览/下载:481/1  |  提交时间:2018/12/19
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页