相关推荐

模型检验工具FPTA Checker的设计与实现

  • 作者:刘春明
  • 出版社:中国科学院
  • 出版年:2006

模型检验原理

  • 作者:拜耳
  • ISBN:9787302577355
  • 出版社:清华大学出版社
  • 出版年:2021

数字系统模型检验研究

  • 作者:王明全
  • 出版年:2007

卫命令模型检测工具的设计与实现

  • 作者:王绍春
  • 出版社:中国科学院
  • 出版年:2010

离散时间自动机模型检测工具的设计与实现

  • 作者:张文亮
  • 出版社:中国科学院
  • 出版年:2007

数据随机缺失时模型的估计与检验

  • 作者:陈菲菲
  • 出版年:2016