基于模型检查技术的信息系统生存性研究
기우모형검사기술적신식계통생존성연구
Research on Survivability of Information System Based on Model Checking Technology
저자의 최근 논문