Batteries; Semantics; Local area networks; Concrete; Syntactics; Analytical models; Natural languages;
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:面向关联的数据库元模型(AssoBase)的形式化定义和建模语言
机译:XCCS建模语言的正式定义
机译:建模要求应该是语言不可知!简单行为分解模型的正式定义示例
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:信息模型描述和操作的概念语言的形式化定义