• M-树

  • 引用13篇文章[sw02565]
  • 安全处理器体系结构启用新的应用程序集。。。
  • 旋转

  • 引用716篇文章[sw03455]
  • Spin是一个流行的开源软件工具。。。
  • CADP

  • 引用130篇文章[sw04993]
  • “分布式过程的构造和分析”,以前。。。
  • 托勒密

  • 引用了78篇文章[sw07459]
  • 托勒密的模块形式语义学。托勒密是。。。
  • 方面++

  • 在14篇文章中引用[sw13023]
  • 面向方面软件开发的成功崛起。。。
  • 平恩

  • 引用15篇文章[sw14128]
  • Pynn:神经元网络模拟器的通用接口。。。
  • 凯撒

  • 引用8篇文章[sw29138]
  • caesar-LOTOS规范的编译和验证。凯撒[Gar89b。。。