• LTSA-WS

  • 引用13篇文章[sw10585]
  • 然后编译成有限状态过程(FSP公司)过程代数简洁地建模所需的。。。行为。BPEL4WS实现被机械地转换为FSP公司为了允许等价跟踪验证过程。。。
  • 杰蒂

  • 引用15篇文章[sw00471]
  • 我们现在展示的是jETI,一个重新设计的电子。。。
  • M-树

  • 引用13篇文章[sw02565]
  • 安全处理器体系结构支持新的应用程序集。。。
  • 依斯

  • 在142篇文章中引用[sw04436]
  • Yices是一个高效的SMT解决方案,它决定。。。
  • CADP

  • 引用130篇文章[sw04993]
  • “分布式过程的构造和分析”,以前。。。
  • Exp.打开

  • 在10篇文章中引用[sw07702]
  • 开放式2.0:一个集成偏序的灵活工具。。。
  • 凯撒

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