00588na  a2200157   4500001001300000005001500013008004100028024002700069035002700096100002600123370004800149372005300197374005700250377001400307670010900321KAC2021K479220211029155215211029 b aznnnaabn          fa aaa      7 a00000005046449352isni  a(KISTI)ADPER82012576801 a박한곤,g朴韓困  c한국(국명)[韓國]0KSH20000101452nlsh  a전자 공학[電子工學]0KSH19980184202nlsh  a연구원(연구자)[硏究員]0KSH19980377142nlsh  l한국어  aSimulink/Stateflow 모델 정보를 이용한 테스트 케이스 자동 생성, (亞洲大學校), 2017