• 棱镜

  • 393篇参考文献[SW01186]
  • 棱镜:概率符号模型检查器。在本文中…
  • CADP

  • 127篇参考文献[SW0493]
  • CADP(“分布式过程的构造和分析”,以前…
  • 莫德

  • 650篇参考文献[SW06263]
  • Maude是一种高性能的反射语言和…
  • 里欧

  • 80篇参考文献[SW06353]
  • 这个里欧协调语言。里欧提出了一个范例…
  • 埃斯特尔

  • 161篇参考文献[SW1212]
  • Esterel既是编程语言,也是致力于…的编程语言。