01428nam a2200265 c 4500001001300000005001500013007000300028008004100031040001100072041001300083052003900096245030200135300002400437545009500461545009800556545009800654653009200752700001900844700004800863700003600911773016500947900001701112900001601129900001701145KSI00072513620081126160550ta081114s2003    ulk           000   kor    a0110010 akorbeng01a569.905b한613ㅈㄷc30(1)-30(6)00a실시간 시스템의 실행 공간상에서 구문 및 의미패턴에 기반한 상태 최소화를 위한 추상화 방법 =x(An)abstraction method for state minimization based on syntactic and semantic patterns in the execution space of real-time systems /d박지연,e조기환,e이문근  ap. 103-116 ;c26 cm  a박지연, 비회원, 전북대학교 컴퓨터통계정보학과bjypark@cs.chonbuk.ac.kr  a조기환, 종신회원, 전북대학교 전자정보공학부 교수bghcho@cs.chonbuk.ac.kr  a이문근, 종신회원, 전북대학교 전자정보공학부 교수bmklee@cs.chonbuk.ac.kr  a정형 기법a상태 감소a추상화aFormal methodaState minimizationaAbstraction1 a박지연4aut1 a조기환,g曺棋煥,d1958-0KAC2016221181 a이문근,d1961-0KAC2014066950 t정보과학회논문지-소프트웨어 및 응용.d한국정보과학회.g30권 1-2호(2003년 2월), p. 103-116q30:2<103w(011001)KSE200000590,x1229-684810aPark, Jiyeon10aCho, Gihwan10aLee, Moonkun