학위논문(석사) - 한국과학기술원 : 전산학과, 2014.2, [ v, 36 p. ]
타임드 오토마타; model-driven development; real-time software; model checking; timed-automata; 모델기반 개발 방법론; 모델검증; 실시간 소프트웨어
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.