机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:分析临床计算机可解释指南建模语言的正式方法
机译:神经系统语言:一种正式的建模语言,用于系统地描述,明确的交流和对神经连接的自动数字管理
机译:基于文本的计算机介导的远程教育通信:基于正式语言的建模方法
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:高度函数和形式语言(半组,形式语言和计算机系统)
机译:一种定义计算机语言语法和语义的形式系统