Temporal Logic에 대한 그래프 모형 : Concurrent 프로그램의 자동생성 및 검증을 위한 도구

김영택 ,  고건 ,  이정태 외 1명

(구)정보과학회논문지

1988 .03

구문구조에 의한 Temporal Expression의 그래프 모형 구성방법에 대한 연구

최경희 ,  이정태 ,  홍만표

(구)정보과학회논문지

1986 .08

位相 그래프와 回路網 解析理論(Ⅱ)

張世勳

전기의세계

1979 .04

位相그래프와 回路網解析理論(Ⅰ)

張世勳

전기의세계

1979 .03

Temporal Logic을 이용한 프로토콜의 검증에 관한 연구 ( A Study on the Validation of Protocol Using Temporal Logic )

이명직 ,  박종민 ,  이정태 외 2명

한국통신학회 워크샵

1998 .01

Temporal logic을 이용한 concurrent system의 modeling과 자동 검증에 관한 연구

정재우 ,  최영근

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

1987 .10

그래프를 이용한 지식 표현 방법

정의명 ,  임재걸

대한전자공학회 학술대회

1991 .01

C 프로그램의 의존성 그래프 생성

김용호 ,  신승철

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

2005 .11

동시 발생 빈발 부분그래프를 이용한 그래프 분류

박기성 ,  한용구 ,  이영구

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

2011 .06

관계형 데이타베이스에 기반한 그래프 알고리즘의 표현과 구현

박휴찬

정보과학회논문지 : 데이타베이스

2002 .10

요약 그래프 상에서 효과적인 그래프 압축 기법

서호진 ,  박기성 ,  이영구

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

2016 .06

이부그래프(bipartite graph) 판별 알고리즘

민준영

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

1992 .10

모서리값 확장 그래프를 사용한 함수구성에 관한연구

박춘명

한국정보통신학회논문지

2013 .04

시간적 논리와 도달성 그래프를 사용한 네트워크 프로토콜 검증법에 대한 비교 분석

박지헌 ,  박성헌

(구)정보과학회논문지

1990 .04

동적 그래프에서 효율적인 그래프 요약 기법

서호진 ,  박기성 ,  이영구

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

2015 .12

데이터베이스에 기반한 그래프 라이브러리 및 그래프 알고리즘 개발

박휴찬 ,  추인경

한국정보통신학회논문지

2002 .08

k - 트리의 가시 특성

최승학 ,  신성용 ,  좌경룡

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

1993 .04

[特輯]최적화 문제에서 그래프의 응용

정균락

정보과학회지

1992 .12

그래프 구조 퍼지 시스템

길준민 ,  박대희 ,  박주영

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

1995 .11