한국어
LIBRARY
Researchers
Titles
Issue Date
검색
Search
All of ScholarWorks
School of Cyber Security
Department of Information Security
1. Journal Articles
Current filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Current filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Current filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Add filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
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-1 of 1 (Search time: 0.008 seconds).
SCIE
SCOPUS
Constraint Solving Approach to Schedulability Analysis in Real-Time Systems
Lee, Hyuk;
Choi, Jin-Young
Article
Issue Date
2018
Citation
IEEE ACCESS, v.6, pp.58418 - 58426
Publisher
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
1
Discover
Author
Lee, Hyuk
1
Subject
Constraint satisfaction problem
1
PROCESS ALGEBRAIC APPROACH
1
real-time schedulability analysis
1
satisfiability modulo theories
1
TASK SYSTEMS
1
Date Issued
2018
1
Type
Article
1
Language
English
1
Journal Index
scie
1
scopus
1
BROWSE
한국어
Researchers
Titles
Issue Date
LIBRARY