埃蒂安·安德烈;刘,杨;孙骏;董金松 分层并发实时系统的参数综合。 (英语) Zbl 1314.68081号 实时系统。 50,编号5-6,620-679(2014).MSC公司:68平方米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,《实时系统》。50、编号5--6、620--679(2014;Zbl 1314.68081) 全文: 内政部 链接
王法恩;姚丽伟;杨亚兰 具有广播行为的分布式实时系统的有效验证。 (英语) Zbl 1230.68155号 实时系统。 47,第4期,285-318(2011).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wang}等人,《实时系统》。47,第4号,285--318(2011;Zbl 1230.68155) 全文: 内政部
艾伦·伯恩斯;伊恩·海耶斯。 实时系统建模的时间带框架。 (英语) Zbl 1197.68032号 实时系统。 45,编号1-2,106-142(2010).MSC公司:68M99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Burns}和\textit{I.J.Hayes},实时系统。45,编号1--2,106-142(2010;Zbl 1197.68032) 全文: 内政部 链接
安吉洛·富法罗;尼格罗、利贝罗;弗朗西斯科·普波 使用分层通信实时状态机的实时系统的模块化设计。 (英语) Zbl 1103.68380号 实时系统。 32,编号1-2,105-123(2006).MSC公司:64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{A.Furfaro}等人,实时系统。32,编号1--2,105-123(2006;Zbl 1103.68380) 全文: 内政部
弗朗西斯科·库塔利;莱昂纳多·曼格鲁卡 一种计算数据相关循环中迭代次数的方法。 (英语) Zbl 1105.68023号 实时系统。 32,编号1-273-104(2006).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{F.Curatelli}和\textit{L.Mangeruca},实时系统。32,编号1--2,73-104(2006;Zbl 1105.68023) 全文: 内政部