Extend Chemical Abstract Machine
首先使用扩展的化学抽象自动机(Extend Chemical Abstract Machine，E-CHAM)模型描述软件系统的体系结构；接着使用LTS状态树生成算法，生成标号迁移系统(Labeled Tran...
基于4个网页-相关网页
首先使用扩展的化学抽象自动机(Extend Chemical Abstract Machine，E-CHAM)模型描述软件系统的体系结构；接着使用LTS状态树生成算法，生成标号迁移系统(Labeled Tran...
基于2个网页-相关网页