采用SPIN的自动柜员机业务逻辑模型检测方法
채용SPIN적자동거원궤업무라집모형검측방법
ATM BUSINESS LOGIC MODEL CHECKING METHOD USING SPIN
저자의 최근 논문