托马斯·莫勒·格罗森;肖恩·考夫曼;金·古德斯特兰·拉森;马丁·齐默尔曼 监视定时属性(已重新访问)。 (英语) Zbl 07643427号 Bogomolov,Sergiy(编辑)等,时间系统的形式化建模和分析。第20届国际会议,FORMATS 2022,波兰华沙,2022年9月13日至15日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13465, 43-62 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{T.M.Grosen}等人,Lect。注释计算。科学。13465,43-62(2022;Zbl 07643427) 全文: 内政部 arXiv公司
彼得·布利切夫;亚历山大·戴维;Larsen,Kim G。;李广元 一个\(\mathrm片段的有效控制器综合{MTL}_{0,\infty}\)。 (英语) Zbl 1360.68578号 学报信息。 51,第3-4号,165-192(2014).MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bulychev}等人,《信息学报》第51期,第3-4165-192号(2014年;Zbl 1360.68578) 全文: 内政部
班克斯,C.J。;斯塔克,I。 上下文中的行为逻辑。 (英语) Zbl 1311.68083号 Inf.计算。 236, 3-18 (2014).MSC公司:第68季度第60季度 03B44号 第68季度85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Banks}和\textit{I.Stark},Inf.Compute。2363-18(2014年;Zbl 1311.68083) 全文: 内政部
乌里·法伦贝格;Larsen,Kim G。;Legay、Axel 实时系统的基于模型的验证、优化、综合和性能评估。 (英语) Zbl 1445.68132号 刘志明(主编)等,《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8050, 67-108 (2013).MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,Lect。注释计算。科学。8050,67--108(2013;Zbl 1445.68132) 全文: 内政部 哈尔