한국어
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).
KCI
계층적 실시간 시스템 스케줄링 검증을 위한 정형적 프레임워크
안소진; 황대연;
최진영
Article
Issue Date
2015
Citation
정보과학회 컴퓨팅의 실제 논문지, v.21, no.9, pp.604 - 609
Publisher
한국정보과학회
1
Discover
Author
안소진
1
황대연
1
Subject
hierarchical scheduling system
1
schedulability verification frame...
1
UPPAAL
1
계층적 스케줄링 시스템
1
스케줄링 가능성 검증 프레임워크
1
정형기법
1
Date Issued
2015
1
Type
Article
1
Language
Korean
1
Journal
정보과학회 컴퓨팅의 실제 논문지
1
BROWSE
한국어
Researchers
Titles
Issue Date
LIBRARY