优先级顶协议的形式规范和验证

出版社:中国科学院
出版年:2006
作者:张博颖
资源类型:图书
细分类型:中文文献,学位论文
相关推荐

AACS安全协议的形式化验证

  • 作者:王薇
  • 出版年:2009

程序验证和规范的形式方法

  • 作者:伯格(Berg,H.K.)
  • ISBN:7030002792
  • 出版社:科学出版社
  • 出版年:1988

程序验证和规范形式方法

  • 作者:伯格
  • ISBN:7030002792
  • 出版社:科学出版社
  • 出版年:1988

安全协议形式化分析与验证

  • 作者:肖美华
  • ISBN:9787030626332
  • 出版社:科学出版社
  • 出版年:2019

软件Agent会话协议的形式描述与验证

  • 作者:王栩
  • 出版社:中国科学院
  • 出版年:2002