Park,Junkil公园;李因苏普;奥列格·索科尔斯基;黄大渊;安,Sojin;Choi,Jin-Young先生;康英业 一种用于分层实时系统的可调度性分析和工作负载抽象的过程代数方法。 (英文) Zbl 1373.68162号 J.日志。阿尔盖布。方法计划。 92, 1-18 (2017).MSC公司:68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Park}等人,J.Log。阿尔盖布。方法计划。92、1-18(2017年;Zbl 1373.68162) 全文: 内政部 链接
安娜·菲利普;李因苏普;奥列格·索科尔斯基 PADS:一种建模资源需求和供应的方法,用于分层调度的形式化分析。 (英文) Zbl 1236.68022号 西奥。计算。科学。 413,第1期,2-20(2012).MSC公司:68平方米 68问题85 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Philippou}等人,Theor。计算。科学。413,编号1,2--20(2012;Zbl 1236.68022) 全文: 内政部 链接
帕特丽斯·布莱蒙德·格雷戈里;李因苏普 用密集的时间和优先级通信共享资源的进程代数。 (英文) Zbl 0893.68005号 西奥。计算。科学。 189,第1-2号,179-219(1997).MSC公司:68M10个 PDF格式BibTeX公司 XML格式引用 \textit{P.Brémond-Grégoire}和\textit{I.Lee},Theor。计算。科学。189,编号1--2,179-219(1997;Zbl 0893.68005) 全文: 内政部