학위논문(박사) - 한국과학기술원 : 전산학과, 2013.2, [ vii, 70 p. ]
Sequence diagram; State machine diagram; UML; Timing diagram; MARTE; UML; 스테이트 머신 다이어그램; 시퀀스 다이어그램; 타이밍 다이어그램; MARTE; 시간 일관성 검사; Timing consistency checking
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.