정형논리를 이용한 모델링 및 분석

박사천 ,  권기현

정보과학회지

2007 .11

보안기능의 정형화 설계

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

정보보호학회지

2000 .09

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

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

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

2000 .10

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

안재근 ,  김정곤

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

2013 .04

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

서동수

정보과학회지

2006 .11

네트워크 장비 시험센터 시험 인증 체계

장웅 ,  김장경 ,  진병문

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

1999 .07

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

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

대한전자공학회 학술대회

1997 .01

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

김종덕 ,  노봉남

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

1997 .04

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

김태연

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

1997 .01

정형 검증과 시험에 의한 원전 계측제어용 임베디드 소프트웨어의 개발

이나영 ,  김진현 ,  안영아 외 4명

정보과학회지

2004 .06

유선 네트워크 성능시험 방법 분석

이재정 ,  류한양 ,  남기동 외 1명

디지털콘텐츠학회논문지

2018 .04

다측면 객체 모델의 정형화에 관한 연구

조동영 ,  황종선 ,  백두권 외 1명

대한산업공학회 춘계공동학술대회 논문집

1991 .05

객체지향 설계에서 정형명세를 이용한 컴포넌트 설계로의 변환 기법

신숙경 ,  이종국 ,  김수동

정보과학회논문지 : 소프트웨어 및 응용

2004 .07

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

김종덕

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

1999 .11

펌프의 현장 성능시험과 공장 성능시험 간 성능편차발생 원인고찰

이혁순 ,  최문호

한국유체기계학회 학술대회 논문집

2018 .07

항공기 구성품 신뢰성 시험 적용을 위한 시험 종류의 비교 연구

이용은 ,  김근영 ,  강재영 외 2명

한국항공우주학회 학술발표회 초록집

2016 .04

리스크 기반 시험을 적용한 전장관리정보체계 시험 방안 연구

박상욱 ,  권원일

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

2009 .11

암호 프로토콜의 정형적 사양 및 분석 기법

이진석 ,  신기수 ,  이강수

정보보호학회지

1995 .03

구조적 성질을 활용한 심층신경망의 정형검증 기법

정문현 ,  배경민

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

2020 .07