Open Access System for Information Sharing
All
Title
Author
Subject
Login
Library
Help
검색
HOME
Communities & Collections
Researchers
Title
OASIS Repository@POSTECHLIBRARY
Browsing by Author고광일
전체
가
나
다
라
마
바
사
아
자
차
카
타
파
하
All
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
가
나
다
라
마
바
사
아
자
차
카
타
파
하
All
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
title
issue date
submit date
type
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 3 of 3
Article
ASADAL : A realtime system specification and analysis environment
정보과학회지, vol. 14, no. 8, page. 22 - 31, 1996-08
고광일
;
김대우
;
이관우
;
이지영
;
김영권
;
et al
Thesis
PARTS : 다시각적 분석을 제공하는 시제논리 기반의 실시간 소프트웨어 시스템 명세 방법
Thesis(Master), 1995
고광일
Thesis
채널과 공용변수로 상호대화하는 제어소프트웨어의 조합적 심볼릭 모델검사 방법
Thesis(Doctor), 1999
고광일
1
Browse
Communities & Collections
Researcher
Title
Login
Library
Help