文献
J-GLOBAL ID:201702286714454166
整理番号:17A1495105
スケジュール可能性解析へのプロセス代数的アプローチと階層的実時間システムの作業負荷抽象化【Powered by NICT】
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems
著者 (7件):
Park Junkil
(Korea University, Seoul 136-713, Republic of Korea)
,
Lee Insup
(University of Pennsylvania, Philadelphia, PA 19104 USA)
,
Sokolsky Oleg
(University of Pennsylvania, Philadelphia, PA 19104 USA)
,
Hwang Dae Yon
(Korea University, Seoul 136-713, Republic of Korea)
,
Ahn Sojin
(Korea University, Seoul 136-713, Republic of Korea)
,
Choi Jin-Young
(Korea University, Seoul 136-713, Republic of Korea)
,
Kang Inhye
(University of Seoul, Seoul 130-743, Republic of Korea)
資料名:
Journal of Logical and Algebraic Methods in Programming
(Journal of Logical and Algebraic Methods in Programming)
巻:
92
ページ:
1-18
発行年:
2017年
JST資料番号:
W1593A
ISSN:
2352-2208
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)