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
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
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
Formal patterns for multirate distributed real-time systems
SCIE
SCOPUS
SCIENCE OF COMPUTER PROGRAMMING, vol. 91, page. 3 - 44, 2014-10-01
Bae, K
;
Meseguer, J
;
Olveczky, PC
1
Discover
Subject
Distributed real-time systems
1
Multirate systems
1
Rewriting logic
1
Synchronizers
1
Journal
SCIENCE OF COMPUTER PROGRAMMING
1
Type
Article
1
Journal Registered
scie
1
scopus
1
Browse
Communities & Collections
Researcher
Title
Login
Library
Help