Open Access System for Information Sharing
All
Title
Author
Subject
Login
Library
Help
검색
HOME
Communities & Collections
Researchers
Title
OASIS Repository@POSTECHLIBRARY
Search Result
Search:
OASIS
Department of Computer Science & Engineering (컴퓨터공학과)
1. Journal Papers
2. Conference Papers
3. Theses_Ph.D.
4. Theses_Master
for
Applied search limites :
Title
Type
Author
Subject
Date Issued
Journal
Journal Registered
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Applied search limites :
Title
Type
Author
Subject
Date Issued
Journal
Journal Registered
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Applied search limites :
Title
Type
Author
Subject
Date Issued
Journal
Journal Registered
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Applied search limites :
Title
Type
Author
Subject
Date Issued
Journal
Journal Registered
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Add filters:
Use filters to refine the search results.
Title
Type
Author
Subject
Date Issued
Journal
Journal Registered
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 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-1 of 1 (Search time: 0.0 seconds).
Item hits:
Article
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
SCIE
SCOPUS
SCIENCE OF COMPUTER PROGRAMMING, vol. 77, no. 12, page. 1235 - 1271, 2012-10-01
Bae, K
;
Olveczky, PC
;
Feng, TH
;
Lee, EA
;
Tripakis, S
1
Discover
Subject
Formal verification
1
Model checking
1
Ptolemy II DE models
1
Real-Time Maude
1
REWRITING LOGIC
1
Rewriting logic
1
SEMANTICS
1
SPECIFICATION
1
SYSTEMS
1
Date issued
2012
1
Journal
SCIENCE OF COMPUTER PROGRAMMING
1
Type
Article
1
Journal Registered
scie
1
Browse
Communities & Collections
Researcher
Title
Login
Library
Help