@第{zbMATH06773911条，作者={Park，Junkil and Lee，Insup and Sokolsky，Oleg and Hwang，Dae Yon and Ahn，Sojin and Choi，Jin-Young and Kang，Inhye}，Title={分层实时系统可调度性分析和工作负载抽象的过程代数方法}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN={2352-2208}，体积={92}，页码={1--18}，年份={2017年}，语言={英语}，DOI={10.1016/j.jlamp.2017.07.001}，关键词={68M20,68Q85}，URL={repository.upenn.edu/cis_papers/832}，zbMATH={6773911}，Zbl={1373.68162}}