相关推荐

一种基于RSL的协议形式化描述技术

  • 作者:赵静
  • 出版年:2003

一种基于图像的光照模型研究

  • 作者:沈沉
  • 出版年:2000

SSL协议的一种实现

  • 作者:刘巍
  • 出版社:中国科学院
  • 出版年:1999

基于模型检查的协议一致性测试生成

  • 作者:姬忠鹤
  • 出版年:2005