00989na  a2200265   4500001001300000005001500013008004100028024002700069035001800096035002700114100003400141370004800175372004500223372002600268373005500294374004800349374005700397375001100454377001400465400002500479400002700504400002600531670011200557670005400669KAC2020I826620200922160939200922 b aznnnaabn          fa aaa      7 a00000004929908642isni  a(KRI)10221908  a(KISTI)ADPER00000186081 a김진현,g金振賢,d1973-  c한국(국명)[韓國]0KSH20000101452nlsh  a컴퓨터[computer]0KSH19980009202nlsh  a소프트웨어공학  a경상대학교 전산계열 (조교수)s20190301  a교수(대학)[敎授]0KSH19980114932nlsh  a연구원(연구자)[硏究員]0KSH19980377142nlsh  a남성  l한국어1 aKim, Jinhyun,d1973-1 aGim, Jin-Hyeon,d1973-1 aKim, Jin-Hyun,d1973-  aTRoS: formal specification and verification for platform-constrained embedded software, (Korea Univ.), 2011  a한국연구자정보(KRI)uhttps://www.kri.go.kr