基于进程代数的构件语义标注技术研究
기우진정대수적구건어의표주기술연구
Research on Components Semantics Annotation Technology Based on Process Algebra
저자의 최근 논문