A Height-Map Based Terrain Rendering with Tessellation Hardware
Goanghun Kim, Nakhoon Baek
Published in 2014 International Conference on IT Convergence and Security (ICITCS) (01.10.2014)
Published in 2014 International Conference on IT Convergence and Security (ICITCS) (01.10.2014)
Get full text
Conference Proceeding
온라인 게임 서버의 파티 시스템 검증을 위한 스핀 모델 체커 적용에 관한 연구
김광훈, 최윤자, Kim, Goanghun, Choi, Yunja
Published in 정보처리학회논문지. KIPS transactions on software and data engineering. 소프트웨어 및 데이터 공학 (01.11.2015)
Published in 정보처리학회논문지. KIPS transactions on software and data engineering. 소프트웨어 및 데이터 공학 (01.11.2015)
Get full text
Journal Article
A Case Study on Model Checking Online-Game Server Party System Using SPIN
Kim, Goanghun, Choi, Yunja
Published in KIPS Transactions on Software and Data Engineering (30.11.2015)
Published in KIPS Transactions on Software and Data Engineering (30.11.2015)
Get full text
Journal Article