학위논문(석사) - 한국과학기술원 : 전산학전공, 2000.2, [ v, 69 p. ]
스테이트차트; 일관성 검사; 언어 포함; Software engineering; Message Sequence Charts; Statecharts; Consistency checking; Language containment; 소프트웨어 공학; 메세지 시퀀스 차트
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.