格钦·诺曼;大卫·帕克;邹学毅 部分可观测概率系统的验证和控制。 (英文) Zbl 1425.68266号 实时系统。 53,第3期,354-402(2017).MSC公司:60年第68季度 68平方米 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Norman}等人,《实时系统》。53,第3号,354--402(2017;Zbl 1425.68266) 全文: 内政部
弗洛里安·洛伯;阿姆诺·罗森曼;德扬·尼契科维奇;伯恩哈德·艾切尼格(Bernhard K.Aichernig)。 具有静默转换的时间自动机的有界判定。 (英文) Zbl 1425.68216号 实时系统。 53,第3期,291-326(2017).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Lorber}等人,《实时系统》。53,第3号,291--326(2017;Zbl 1425.68216) 全文: 内政部 arXiv公司
孙友成;朱塞佩·利帕里 多处理器全局固定优先级调度中零星任务精确可调度性测试的预序关系。 (英文) Zbl 1357.68024号 实时系统。 52,第3号,323-355(2016).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sun}和\textit{G.Lipari},实时系统。52,第3号,323--355(2016;Zbl 1357.68024) 全文: 内政部 哈尔
凯·兰普卡;乔治亚州Giannopoulou;鲁道夫·佩利佐尼;吴,郑;尼古拉·斯托伊莫诺夫 一种在阶段结构任务集下对具有内存争用的多核系统进行WCRT分析的正式方法。 (英文) Zbl 1314.68090号 实时系统。 50,编号5-6,736-773(2014).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{K.Lampka}等人,《实时系统》。50、编号5--6736--773(2014;Zbl 1314.68090) 全文: 内政部 链接
埃蒂安·安德烈;刘,杨;孙骏;董金松 分层并发实时系统的参数综合。 (英文) 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) 全文: 内政部
吕西安·韦德拉奥戈;艾哈迈德·库姆西;穆斯塔法·努勒法特 SetExp:将时间自动机转换为有限状态自动机的方法。 (英文) Zbl 1205.68210号 实时系统。 46,第2期,189-250(2010).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Ouedraogo}等人,《实时系统》。46,第2号,189--250(2010;Zbl 1205.68210) 全文: 内政部
莱姆,迪迪埃;奥利维尔·H·鲁克斯。 具有抢占式调度的实时系统的形式化验证。 (英文) Zbl 1185.68429号 实时系统。 41,第2期,第118-151页(2009年).MSC公司:68问题65 68问题85 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{D.Lime}和\textit{O.H.Roux},实时系统。41,第2号,118--151(2009;Zbl 1185.68429) 全文: 内政部 哈尔
弗兰克·辛霍夫;阿兰·普兰泰克;皮埃尔·迪索;勒格朗,杰罗姆 通过Cheddar项目研究实时调度理论的可用性。 (英文) Zbl 1184.68139号 实时系统。 43,第3期,259-295(2009).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{F.Singhoff}等人,《实时系统》。43,第3号,259--295(2009;Zbl 1184.68139) 全文: 内政部
利伯·瓦兹尼奥斯基;Zdeněk Hanzálek 基于时间自动机模型的多任务应用程序的形式化验证。 (英文) Zbl 1133.68381号 实时系统。 38,第1号,39-65(2008).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Waszniowski}和\textit{Z.Hanzálek},实时系统。38,编号1,39-65(2008;Zbl 1133.68381) 全文: 内政部
奥斯马·马奇·多斯桑托斯;安迪·威林斯 Java实时规范中的成本强制。 (英文) Zbl 1125.68025号 实时系统。 37,第2期,139-179(2007).MSC公司:68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.M.dos Santos}和\textit{A.Wellings},实时系统。37,第2号,139--179(2007;Zbl 1125.68025) 全文: 内政部
黄金凤;杰罗·沃顿;下士,亨克 可预测的实时软件合成。 (英文) Zbl 1118.68048号 实时系统。 36,第3期,159-198(2007).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Huang}等人,《实时系统》。36,第3号,159--198(2007;Zbl 1118.68048) 全文: 内政部
弗朗科·西西雷利;安吉洛·富法罗;尼格罗、利贝罗 模块化时间Petri网的分布式仿真:一种利用时间不确定性的方法和案例研究。 (英文) 兹比尔1113.68067 实时系统。 35,第2期,153-179(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Cicirelli}等人,《实时系统》。35,第2号,153--179(2007;Zbl 1113.68067) 全文: 内政部
加博·马德尔;谢里夫·阿卜杜勒瓦希德;道格拉斯·施密特(Douglas C.Schmidt)。 通过图转换和模型检查验证嵌入式系统的分布式实时属性。 (英文) Zbl 1103.68630号 实时系统。 33,编号1-3,77-100(2006).MSC公司:60年第68季度 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{G.Madl}等人,《实时系统》。33,编号1-3,77-100(2006年;Zbl 1103.68630) 全文: 内政部
安吉洛·富法罗;尼格罗、利贝罗;弗朗西斯科·普波 使用分层通信实时状态机的实时系统的模块化设计。 (英文) Zbl 1103.68380号 实时系统。 32,编号1-2,105-123(2006).MSC公司:68米14 PDF格式BibTeX公司 XML格式引用 \textit{A.Furfaro}等人,实时系统。32,编号1--2,105-123(2006;Zbl 1103.68380) 全文: 内政部