参数化系统二维抽象框架
삼수화계통이유추상광가
A Generic Framework of Two-dimension Abstraction for Parameterized Systems
저자의 최근 논문