基于时序逻辑的软件体系结构描述语言XYZ/ADL

Keywords: 软件体系结构,体系结构描述语言,时序逻辑语言XYZ/E,规范

Full-Text   Cite this paper   Add to My Lib

Abstract:

Full-Text