BM-DEVS 모델링과 시뮬레이션 환경에서의 시공간 문제 해결을 위한 시간 논리 적용 기법 - 안정섭(Jungsub Ahn); 조대호(Taeho Cho) (한국컴퓨터정보학회 학술발표논문집, 2023)