• 辅酶Q

  • 1725篇参考文献[SW0161]
  • 校样。典型应用包括形式化程序设计语言语义(例如编译器编译器证书…工业环境下的卡片EAL7认证形式化数学(如数学)形式化
  • 毫升

  • 491篇参考文献[SW01218]
  • 完全指定和验证使用正式 语义. 它的种类和图案匹配使它很好。常用于其他操作正式语言,如编译器编写,自动定理…
  • SPARQL

  • 117篇参考文献[ SW07929 ]
  • SPARQL标准介绍其语法和正式 语义. 然后我们专注于形式化重要的最近发现的关于规范的问题语义联盟和导航在SPARQL中…
  • 托勒密

  • 77篇参考文献[ SW0759]
  • 模块化正式 语义为了托勒密。托勒密是一个开源的和可扩展的建模和仿真…武断的时尚本文提出了一种正式 语义对于托勒密,这是模块化的…计算模型。在本文中,我们正式地为以下模型定义董事…
  • PDDL

  • 88篇参考文献[SW07079]
  • 语言的句法正式 语义并对并发计划进行验证。我们观察…
  • 克莱姆

  • 69篇参考文献[SW09424]
  • 定位过程之间的交互协议。这个正式操作的语义有助于讨论设计…
  • WSAT

  • 36篇参考文献[SW01022]
  • 服务标准,其中大部分缺乏正式 语义使之复杂化正式Web服务规范…
  • PNML

  • 39篇参考文献[SW03257]
  • Petri网,ISO/IEC 15909,提供了一个正式 语义和语法允许模型交换…
  • 逆合成孔径雷达

  • 135篇参考文献[SW04999 ]
  • 可读方法正式证明文件准备桥接语义的内部差距…用户级工作的抽象化。逆合成孔径雷达正式证明语言已被设计来满足…
  • 歧管

  • 30篇参考文献[SW0900 ]
  • 过渡系统语义对于控制驱动的协调语言流形协调语言…流形支持。我们提出正式 语义一个流形的核心,基于…语义一种面向控制的协调语言,这种方法是有用的正式研究…
  • 沟槽

  • 49篇参考文献[SW09480]
  • 模型转换与运算语义. 这需要一个正式模型转换和动态基础
  • 红宝石

  • 32篇参考文献[SW16267]
  • 迎接这个挑战,我们提出了一个正式操作的语义这可以作为一个很高的…
  • 规则符号

  • 22篇参考文献[SW01792]
  • 使用XML标记的规则语言正式 语义和有效的实现。RuleML覆盖整个规则…
  • 科马尔

  • 55篇参考文献[SW30775 ]
  • 电脑“核心内核语法”语义“〔1〕包含正式语言的定义。进一步…
  • 贾瓦凡

  • 30篇参考文献[ SW01934 ]
  • 莫德代码行,指定正式地这个语义Java和JVM重写逻辑…
  • CP逻辑

  • 17篇参考文献[SW06947 ]
  • 方面,已在语义的在Shafer的框架下…这种演变是很自然的。在我们形式化一组概率因果律…提供方便的逻辑表示语义的目标第二,这种语言也有相关性…特别地,我们证明了正式 语义我们语言中的一个理论…
  • 大都市

  • 17篇参考文献[SW16265]
  • 挑战基于元模型的正式 语义开发人员可以用来捕捉设计…支持仿真的复杂电子系统设计正式分析和综合…
  • 伊莎贝尔/马戏团

  • 13篇参考文献[SW15208]
  • 用精化演算。它的语义是基于霍尔和他统一理论…开发机器检查,正式 语义基于伊莎贝尔/ UTP中马戏团的“浅埋”
  • SWRL

  • 48篇参考文献[SW1402]
  • 模型理论语义提供给正式OWL本体包括规则的含义…