00962na  a2200253   4500001001300000005001500013008004100028024002700069035001800096035002700114035002700141100002200168370004800190372007300238372004500311373004900356373005800405374004800463375001100511377001400522400002400536670005400560670009400614KAC20174535820201118110001170915 b aznnnaabn          fa aaa      7 a00000004633998482isni  a(KRI)10174108  a(KISTI)ADPER6801703143  a(KISTI)ADPER68004156571 a신인식,d1972-  c한국(국명)[韓國]0KSH20000101452nlsh  a컴퓨터 프로그래밍[computer programming]0KSH19980096192nlsh  a컴퓨터[computer]0KSH19980009202nlsh  aMalardalen Univ. (연구원)s200609t200807  a한국과학기술원 전산학부 (교수)s20080811  a교수(대학)[敎授]0KSH19980114932nlsh  a남성  l한국어1 aShin, Insik,d1972-  a한국연구자정보(KRI)uhttps://www.kri.go.kr  aCompositional framework for real-time embedded systems, (UMI Dissertation Services), 2006