登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

公平性约束下基于抽象和推理的活性验证
出版社：中国科学院
出版年：2013
作者：龙腾
资源类型：图书
细分类型：中文文献,学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

基于反例制导抽象精化的安全性验证
  • 作者：王伟锋
  • 出版年：2016
...

基于抽象状态机的安全协议形式化验证
  • 作者：彭建华
  • 出版社：中国科学院
  • 出版年：2011
...

服务补救公平性对消费者情绪和行为意向的影响实证研究——基于两种顾客
  • 作者：刘刚
  • 出版年：2012
...

5G原型验证系统中操作系统驱动抽象层的设计与实现
  • 作者：秦海超
  • 出版社：中国科学院大学人工智能学院
  • 出版年：2018
...

MPTCP下的公平性机制研究
  • 作者：王焱森
  • 出版年：2018
...

相与抽象
  • 作者：李刚
  • ISBN：9787551426176
  • 出版社：浙江摄影出版社
  • 出版年：2019