학위논문(박사) - 한국과학기술원 : 전산학과, 2010.2, [ ix, 94 p. ]
static analysis; logical semantics; control flow graph; Esterel programming language; reactive system; 반응형 시스템; 정적 분석; 논리적 의미구조; 제어 흐름 그래프; Esterel 프로그래밍 언어
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.