机译:启用了语义Web的多代理系统的领域特定建模语言的形式语义
机译:一种基于正式规范的词对词翻译移动系统,用于用屈折语言呈现科学文本
机译:使用领域特定语言的排队网络模型的规范和仿真
机译:朝着域的铁路控制系统特定的正式规范语言
机译:电子物理系统领域特定建模语言的形式语义规范。
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:考虑SFC规范和C编程语言的航空航天系统控制的正式方法
机译:关于可靠实时系统规范的语言和符号,第4部分修订。要求和设计规范语言。正式定义