基于时序逻辑的软件体系结构描述语言XYZ/ADL
기우시서라집적연건체계결구묘술어언XYZ/ADL
A Temporal Logic-Based Software Architecture Description Language XYZ/ADL
저자의 최근 논문