Architecture Description Language; Comparison; Formal Semantics; Realizability; Usability;
机译:软件体系结构描述语言对联邦和联邦体系结构建模和分析的有用性
机译:基于符号转换系统和时间逻辑的形式化体系结构描述语言
机译:基于正式的并发模型的体系结构描述语言,用于软件开发工具的综合
机译:我们到了吗? 分析架构描述语言进行正式分析,可用性和可实现性
机译:面向表单处理器:使用形式语言类比进行体系结构表单派生和分析的框架。
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:我们到了吗?分析架构描述语言以进行形式化分析,可用性和可实现性
机译:分析架构描述语言版本1.0的场景