01190nam a2200253 c 4500001001300000005001500013008004100028040001100069041001300080052002900093245021000122300003000332545004700362545004700409545004700456653015500503700005300658700001400711700001400725773013600739900002100875900002100896900001900917KSI00017755620040202142631031218s1992    ulka          000   kor    a0110010 akorbeng01a325.05b한429ㅎc17(3)00a형식 도구를 이용한 이산사건 시뮬레이션의 모델 형식화 방법론=x(A)model formalization methodology of discrete event simulation with formal tools/d정영식,e황종선,e백두권  ap. 79-99:b삽도;c27 cm  a정영식, 고려대학교 전산과학과  a황종선, 고려대학교 전산과학과  a백두권, 고려대학교 전산과학과  a형식도구a이산사건a시뮬레이션a모델a형식화방법론aModelaFormalizationaMethodologyaDiscreteaEventaSimulationaFormalaTools1 a정영식,g鄭英植,d1964-0KAC2018361564aut1 a황종선1 a백두권0 t韓國經營科學會誌.d한국경영과학회.g제17권 3호(1992년 9월), p. 79-99q17:3<79w(011001)KSE199509124,x1225-111910aJeong, Young-Sik10aHwang, Chong-Sun10aBaik, Doo-Kwon