Hanyang University repository
menu
검색
Library
Hanyang
Browse
Communities & Collections
Titles
Authors
My Repository
My Account
Receive email updates
Edit Profile
Repository at Hanyang University
Search
All of Repository
COLLEGE OF COMPUTING[E](소프트웨어융합대학)
COMPUTER SCIENCE(소프트웨어학부)
Articles
Start a new search
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Add filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort items by
Relevance
Title
Issue Date
In order
Ascending
Descending
Authors/record
All
1
5
10
15
20
25
30
35
40
45
50
Results 1-5 of 5 (Search time: 0.002 seconds).
Item hits:
Issue Date
Title
Author(s)
2006-12
Research into Verifying Semistructured Data
Lee, Scott Uk-Jin
2009-01
Formal Verification of Semistructured Data Models in PVS
Lee, Scott Uk-Jin
2007-01
Towards Verifying Semistructured Data
Lee, Scott Uk-Jin
2009-07
Verifying Semistructured Data Normalization Using SWRL
Lee, Scott Uk-Jin
2008-03
Verifying Semistructured Data Normalization using PVS
Lee, Scott Uk-Jin
previous
1
next
Discover
-Subject
2
ORA-SS
2
PVS
1
Automated verification
1
automatic verification
1
Computer science
1
Computing and Processing
1
Data engineering
1
data model
1
Data modeling
1
Database systems
next >
-Date issued
2
2009
1
2008
1
2007
1
2006
BROWSE
Communities & Collections
Titles
Authors