논리 세기 개념을 이용한 논리 레벨 시뮬레이션 ( Logic Level Simulation Using The Logic Strength Concept )

이홍주 ,  박홍준 ,  함승재 외 2명

대한전자공학회 학술대회

1987 .11

망관리 정보베이스에 대한 역할기반 접근제어의 정형적 모델링 ( A Formal Modeling of Network Management Information Base on Role-Based Access Control )

김종덕 ,  이형효 ,  정철윤 외 1명

대한전자공학회 학술대회

1997 .01

망관리 정보베이스에 대한 역할기반 접근 제어의 정형적 모델링

김종덕 ,  노봉남

한국정보과학회 학술발표논문집

1997 .04

정형성을 고려한 성능시험체계에 대한 연구

서영수 ,  이채우 ,  홍미정

한국통신학회 학술대회 및 강연회

1998 .12

통신망 관리정보베이스에 대한 역할기반 접근 제어의 정형적 모델링

김종덕

한국통신학회 학술대회논문집

1999 .11

정형기법을 이용한 Safety - Critical System 개발 방법론

성창훈 ,  이나영 ,  오승록 외 1명

한국정보과학회 학술발표논문집

2000 .10

보안기능의 정형화 설계

유희준 ,  최진영 ,  서동수 외 2명

정보보호학회지

2000 .09

확장논리에 기초한 순차디지털논리시스템 및 컴퓨터구조에 관한 연구

박춘명

한국인터넷방송통신학회 논문지

2008 .01

현대 건축의 정형·비정형 건축의 특성 비교 연구 : 유기적 이론을 중심으로

안재근 ,  김정곤

대한건축학회 학술발표대회 논문집

2013 .04

정보시스템 인증을 위한 정형기법의 활용

서동수

정보과학회지

2006 .11

Knowledge-Based 논리 시뮬레이션 알고리즘 및 게이트 모델링 ( A Knowledge-Based Logic Simulation Algorithm and Gate Modeling )

홍광희 ,  이철원 ,  임인칠

대한전자공학회 학술대회

1990 .07

Formal Model 작성을 위한 Event Graph 모델링 연구

박정현 ,  최병규

한국정밀공학회 학술발표대회 논문집

1997 .11

논리형 추론컴퓨터 ( Logic Machine )

조정완

전자공학회지

1987 .06

시간논리와 표현논리를 이용한 운전절차 자동합성 시스템 개발

허보경 ,  황규석

한국가스학회지

2001 .03

Type-2 Fuzzy Logic System을 이용한 비선형 시스템의 모델링 및 성능 분석

안성배 ,  김동원 ,  박귀태

한국지능시스템학회 학술발표 논문집

2003 .09

통신 소프트웨어의 정형적 명세 방안

김태연

한국통신학회 학술대회 및 강연회

1997 .01

실시간 시간논리구조를 이용한 이산 사건 시스템의 모델링

정용만 ,  이원혁 ,  최정내 외 1명

대한전기학회 학술대회 논문집

1997 .07

연관분석을 이용한 마코프 논리네트워크의1차 논리 공식 생성과 가중치 학습방법

안길승 ,  허선

산업경영시스템학회지

2015 .01

실시간 퍼지 시간논리구조를 이용한 교차로 네트워크의 모델링과 제어

김진권 ,  김정철 ,  이원혁

제어로봇시스템학회 논문지

2007 .04

열차제어시스템을 위한 정형기법 적용 절차 및 템플릿 제안

조현정 ,  황종규 ,  윤용기

대한전기학회 학술대회 논문집

2010 .04