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 について
組込みシステム について
アルゴリズム について
モデリング について
プロセス代数 について
スケジューリング について
ソフトウェア について
デッドロック について
通信 について
実時間処理 について
マイクロプロセッサ について
代数学 について
適応性 について
サブシステム について
実時間 について
実時間システム について
ACSR について
プロセス代数 について
リアルタイム組込みシステム について
階層的スケジューリング について
計算機システム開発 について
計算理論 について
スケジュール について
可能性 について
解析 について
プロセス について
代数的アプローチ について
実時間システム について
作業負荷 について
抽象化 について