00926nam a2200205 k 4500001001300000005001500013008004100028041001300069049003200082052002200114056001400136082001500150100004800165245018000213260003600393300002400429502008300453653016100536963002300697KDM20002975720180821163329001010s2000    kjk        QB 000   kor  0 akorbeng0 lEM2149264lEM2149265c2fDP01a005.45b최857ㅁ  a005.45240 a005.452211 a최은복,g崔恩福,d1967-0KAC20170226010a망 관리 객체의 시간지원 능동 특성에 대한 정형적 모델링=x(A)formal modeling for temporal and active properties of magaged object's behaviour/d崔恩福  a광주:b全南大學校,c2000  aviii, 120장;c30cm1 a학위논문(박사) --b전남대학교 대학원:c전산통계학과,d2000  a망a관리a망관리a객체a시간지원a능동a정형적a모델링aBDLaFORMALaMODELINGaTEMPORALaACTIVEaPROPERTIESaMAGAGEDaOBJECTSaBEHAVIOUR  a전산통계학과