机译:基于符号转换系统和时间逻辑的形式化体系结构描述语言
机译:基于正式的并发模型的体系结构描述语言,用于软件开发工具的综合
机译:基于命题模态逻辑的形式化模糊推理系统和推理机制
机译:/ spl pi / -SPACE:一种基于过程代数的,用于不断发展的软件系统的正式体系结构描述语言
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:基于符号转换系统和模态逻辑的形式化建筑描述
机译:saE航空电子架构描述语言(aaDL)标准:基于模型的架构驱动的嵌入式系统工程的基础。