01112nam a2200229 c 4500001001300000005001500013007000300028008004100031040001100072041001300083052003000096245020800126300002600334545005300360545005300413653015000466700001900616700003600635773017600671900001800847900001700865KSI00072984920081209134912ta081129s2001    ulk           000   kor    a0110010 akorbeng01a569.9305b제567ㅈc7(1)00a한국형 고속전철의 열차 관리제어기의 설계 및 검증 방법 =xDesign and verification method for the train supervisory controller of the Korean high-speed train /d유승필,e이두용  ap. 1218-1225 ;c30 cm  a유승필, 한국과학기술원 기계공학과  a이두용, 한국과학기술원 기계공학과  aSupervisory controlaDiscrete event systemaHigh-speed trainaComputer aided software engineeringa한국형 고속전철a열차 관리제어기1 a유승필4aut1 a이두용,d1962-0KAC2017521210 t제어·자동화·시스템공학 논문지.d제어·자동화·시스템공학회.g제7권 1호(2001년 1월), p. 1218-1225q7:1<1218w(011001)KSE199900457,x1225-984510aYoo, Seungpil10aLee, Dooyong