乌里·法伦贝格;Larsen,Kim G。;Legay、Axel 实时系统的基于模型的验证、优化、综合和性能评估。 (英语) Zbl 1445.68132号 刘志明(主编)等,《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8050, 67-108 (2013).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,Lect。注释计算。科学。8050,67--108(2013;Zbl 1445.68132) 全文: 内政部 哈尔
乌里·法伦贝格;Larsen,Kim G。;克劳斯·苏兰(Claus R.Thrane)。 实时系统的验证、性能分析和控制器综合。 (英语) Zbl 1274.68185号 Arbab,Farhad(编辑)等人,《软件工程基础》,第三届IPM国际会议,FSEN 2009,伊朗基什岛,2009年4月15日至17日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-11622-3/pbk)。计算机科学课堂讲稿596134-61(2010)。MSC公司:60年第68季度 65年第68季度 91A80 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,Lect。注释计算。科学。5961、34-61(2010年;Zbl 1274.68185) 全文: 内政部 链接
帕里托什·K·潘迪亚。 区间持续时间逻辑:表达性和可判定性。 (英语) Zbl 1270.68175号 Asarin,Eugene(编辑)等人,TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录(ETAPS 2002年卫星活动)。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》65,第6期,254-272(2002)。MSC公司:60年第68季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.K.Pandya},电子。注释Theor。计算。科学。65,第6号,254--272(2002;Zbl 1270.68175) 全文: 内政部
沃尔克·迪克特;保罗·加斯丁;安托万·佩蒂特 删除定时自动机中的\(\epsilon\)-转换。 (英语) Zbl 1498.68135号 Reischuk,Rüdiger(编辑)等人,STACS 97。第十四届计算机科学理论方面年度研讨会。1997年2月27日至3月1日,德国吕贝克。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1200, 583-594 (1997).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}等人,Lect。注释计算。科学。1200、583--594(1997年;Zbl 1498.68135) 全文: 内政部