带标号的转换系统相关论文
SA(软件体系结构)的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步.许多软件体系结构描述语言是利用带标号的转换......
SA（软件体系结构）的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。许多软件体系结构描述语言是利用带标号的转换系......
