相关推荐

基于状态转移系统的安全协议形式化建模方法的研究

  • 作者:岳庆刚
  • 出版社:中国科学院
  • 出版年:2012

基于抽象状态机的安全协议形式化验证

  • 作者:彭建华
  • 出版社:中国科学院
  • 出版年:2011

基于状态机的嵌入式系统开发

  • 作者:杨刚
  • ISBN:9787302221845
  • 出版社:淸华大学出版社
  • 出版年:2010

基于随机过程理论的多状态系统建模与可靠性评估

  • 作者:王丽英
  • ISBN:9787030553812
  • 出版社:科学出版社
  • 出版年:2017

无穷状态系统互模拟判定算法

  • 作者:陈海燕
  • 出版社:中国科学院
  • 出版年:2008