소프트웨어의 안전성 검증을 위한 모델 검증 도구

박민규 ,  최윤자

정보과학회지

2014 .04

건설지식정보의 유효성 검증 및 관리 모델에 관한 연구

배영균 ,  박문서 ,  이현수 외 1명

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

2015 .10

모델검증을 활용한 자가-적응 소프트웨어 검증 및 전략 추출 방법

이의종 ,  김영갑 ,  백두권

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

2015 .12

Emotion Recognition with Pairwise Risks

Alex Syaekhoni ,  Youngjun Son ,  Young S. Kwon 외 2명

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

2018 .04

실시간 시스템 검증을 위한 지역모형검사

박재호 ,  김성길 ,  황선호 외 1명

멀티미디어학회논문지

2000 .02

Ubiquitous Application을 위한 소프트웨어 검증 기법

선태봉 ,  인호 ,  Hong Lu 외 1명

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

2004 .04

집적검증 기법을 채용한 하드웨어 / 소프트웨어 동시검증

이영수 ,  양세양

정보과학회논문지 : 컴퓨팅의 실제 및 레터

2002 .06

Fuzzy Pairwise β-continuous Mapping

Kuo-Duok Pa ,  k ,  Young-Bin Im

한국지능시스템학회 논문지

1996 .06

On fuzzy pairwise β-continuous mappings

Young-Bin Im ,  Kuo-Duok Pa ,  k

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

1995 .11

Path - Cut Pairwise Approach to Network Reliability

Hae - Il Ahn

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

1996 .10

Pairwise 방식을 이용한 윤곽 오프셋 및 공구경로 연결 알고리즘

허진헌 ,  김영일 ,  전차수

한국CDE학회 학술발표회 논문집

2005 .01

GML파일을 이용한 검증조건의 시각화

허혜림 ,  김제민 ,  박준석 외 1명

한국컴퓨터정보학회논문지

2012 .07

데이터 마이닝 환경에서 다중 에이전트 기반 지식 검증 및 통합 방법 ( Agent-Based Knowledge Verification and Integration Method in Data Mining Environments )

강성희 ,  박승수

한국지능정보시스템학회 학술대회논문집

1998 .12

Y2K 적합성 검증

홍필기

정보과학회지

1999 .06

다중모드 통합시험환경을 이용한 계층구조 항공전자시스템의 검증

장우혁 ,  박재성 ,  조영우 외 1명

한국항공우주학회지

2017 .11

기가 스케일 SoC를 위한 통합 설계 방법론 및 검증 플랫폼

김정훈

전자공학회논문지-SD

2010 .02

지식 기반 시스템의 지식 베이스 자동 검증 Tool의 설계 및 구현 ( Design and Implementation of an Automatic Tool for Verifying Knowledge Based in Knowledge-Based Systems )

김일곤

대한전자공학회 학술대회

1992 .01

지식관리 시스템을 수반한 전문가 시스템 구축 도구

서의현

지능정보연구

2003 .12