...
机译:一种形式化领域专用建模语言的描述方法
Yunnan Minzu Univ, Sch Math & Comp Sci, Kunming, Yunnan, Peoples R China;
Domain-Specific Modelling Language (DSML); domain; formal framework; automatic verification;
机译:形式化特定领域建模语言的结构语义
机译:基于一阶逻辑的形式化领域特定元建模语言XMML
机译:用于测试特定领域语言的核心语言模型的自然语言场景描述
机译:电子物理系统领域特定建模语言的形式语义规范。
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:将领域特定建模语言的结构语义形式化
机译:使用架构211描述语言正式化NIsT 4-D / RCs参考模型体系结构