• 偶数

  • 引用21篇文章[sw02377]
  • 偶数:一个有效的方案容忍双磁盘。。。
  • 夏普

  • 在39篇文章中引用[sw03100]
  • 夏普(符号分层自动可靠性和性能评估器。。。
  • 旋转

  • 引用699篇文章[sw03455]
  • Spin是一个流行的开源软件工具。。。
  • PVS公司

  • 在602篇文章中引用[sw03484]
  • PVS是一个验证系统:也就是说,一个。。。
  • 沉香

  • 引用于1154篇文章[sw04002]
  • SeDuMi是一个求解优化问题的Matlab工具箱。。。
  • SDPT3型

  • 引用594篇文章[sw04009]
  • 该软件是为解决圆锥曲线编程而设计的。。。
  • 罗达斯

  • 参考1468篇文章[sw04112]
  • 罗森布洛克4(3)阶方法,求解问题。。。
  • 努西姆

  • 引用288篇文章[sw04131]
  • NuSMV是一个符号模型检查器,它是作为。。。
  • 林帕克

  • 引用511篇文章[sw04209]
  • LINPACK是Fortran子程序的集合,这些子程序。。。
  • Q外壳

  • 引用278篇文章[sw04419]
  • 一个点集的凸壳是一个新的问题。。。
  • 仙人掌

  • 引用了78篇文章[sw04422]
  • 仙人掌框架与工具箱:设计与应用。。。
  • 卡德

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