• 乌姆德斯

  • 引用365篇文章[sw09523]
  • 实现监督 控制 理论并实施方法论。。。模型,以及理论属于监督 控制离散事件系统。。。
  • 利比亚人

  • 在10篇文章中引用[sw16433]
  • 然后,许多研究人员都对监督 控制 理论,包括分层、模块化的扩展。。。
  • 超小卫星

  • 引用558篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • 宿便

  • 引用279篇文章[sw00891]
  • 我们很高兴向您介绍SOSTOOL,一种免费的。。。
  • STCT

  • 引用9篇文章[sw02293]
  • STCT:一种有效的算法监督 控制设计。。。
  • 蒂娜

  • 引用了45篇文章[sw03280]
  • 工具TINA——抽象状态空间的构造。。。
  • 旋转

  • 引用721篇文章[sw03455]
  • Spin是一个流行的开源软件工具。。。
  • 努西姆

  • 引用305篇文章[sw04131]
  • NuSMV是一个符号模型检查器,它是作为。。。
  • 卡德

  • 在152篇文章中引用[sw04446]
  • CUDD包提供操作二进制文件的函数。。。
  • 佐藤

  • 引用196篇文章[sw04451]
  • 佐藤:命题满意度的求解者:戴维斯。。。
  • 基诺科普

  • 在1092篇文章中引用[sw04707]
  • Genocop,由Zbigniew Michalewicz,是一个遗传算法。。。