相关推荐

Petri网系统的可达性研究

  • 作者:吴文渊
  • 出版年:2002

基于极小T-不变量增加的 Petri 网可达性分析

  • 作者:彭建兵
  • 出版社:中国科学院
  • 出版年:2010

软件结构化测试数据生成技术

  • 作者:吴添勇
  • 出版年:2014

函数型数据分析 :[英文本]

  • 作者:Ramsay
  • ISBN:7030166930
  • 出版社:科学出版社
  • 出版年:2006

时间符号迁移图上的可达性分析

  • 作者:陈靖
  • 出版社:中国科学院
  • 出版年:2002