• 洛特雷

  • 24篇参考文献[SW0764]
  • 策略它旨在掩盖一切。克里普克-语义的基于逻辑。它是用Java实现的…
  • 梅兰科普

  • 6篇参考文献[SW21522]
  • 附加前缀统一,捕获克里普克 语义不同模态逻辑。MLANCOP实现…
  • 虚拟样机

  • 11篇参考文献[SW07364]
  • 从UML模型到不同模型语义的域(Petri网)克里普克自动机,过程代数…时间然而,这种转变成了不同语义的领域通常需要深刻理解…
  • FrpHNOW

  • 1篇参考文献[ SW200 16]
  • 指称的语义对于这种新的接口,以及一种技术(使用克里普克逻辑关系)用于推理…
  • 急性淋巴细胞白血病

  • 7篇参考文献[ SW21031 ]
  • 用作表示系统的那些克里普克结构。这部分是…过渡系统的行动与逻辑,在:语义并行进程系统,程序LITP…
  • 佩特里PDL语言

  • 3篇参考文献[SW150 81]
  • 用正式的形式评估并发系统语义导致证明他们……的可能性正式设计后的代表克里普克模型为线性定义的改写理论。
  • 辅酶Q

  • 1721篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 奥特

  • 28篇参考文献[SW0663]
  • 语义的全规模编程语言的定义是…
  • 棱镜

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

  • 168篇参考文献[SW02265]
  • 由COFI开发的规范语言称为…
  • XYZ/ADL

  • 2篇参考文献[SW0924]
  • 一种基于时序逻辑的软件体系结构描述语言…