About KOASAS KAIST Library
학위논문(석사) - 한국과학기술원 : 전산학과, 1999.8, [ iv, 56 p. ]
역방향 분석; 안전성 분석; 스테이트차트; 스테이트메이트; STATEMATE; Backward analysis; Safety analysis; Statecharts
Display Full Item Record
트윗하기
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
rss_1.0 rss_2.0 atom_1.0