학위논문(박사) - 한국과학기술원 : 전산학전공, 2007.2, [ vii, 76 p. ]
Test Sequence; Equivalence Relation; Concurrent Program; Deterministic Testing; 결정적 시험; 시험 시퀀스; 동치 관계; 병행프로그램
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.