模型检验下蠕虫病毒检测器的设计与实现
모형검험하연충병독검측기적설계여실현
Design and implementation of worm detector based on model checking
저자의 최근 논문