×

找到19个文档（结果1-19）

最新的 引文 关联
德文德拉·巴韦；维伦达·戴夫；克里希纳，S.N。；拉姆昌德拉·帕瓦德；阿舒托什·特里维迪

一类完美的上下文敏感时间语言。 （英语） Zbl 1436.68161号

Brlek，Srečko（编辑）等人，《语言理论的发展》。2016年7月25日至28日，第20届国际会议，DLT 2016，加拿大蒙特利尔。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。9840, 38-50 (2016).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Bhave}等人，Lect。票据计算。科学。9840、38-50（2016年；Zbl 1436.68161）
全文： 内政部
卡琳·夸斯

单时钟参数时间自动机的MTL模型检验是不可判定的。 （英语） Zbl 1467.68093号

André，ed tienne（编辑）等人，《第一届连续参数合成国际研讨会论文集》，SynCoP’14，法国格勒诺布尔，2014年4月6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）145，5-17（2014）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Quaas}，电子。程序。西奥。计算。科学。（EPTCS）145，5--17（2014；Zbl 1467.68093）
全文： arXiv公司 链接
乌里·法伦贝格；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）
全文： 内政部 链接
卡玛尔·洛达亚

标记时间。 （英语） Zbl 1268.03019号

Chakraborty，Mihir K.（编辑）等人，《逻辑、纳维亚-尼亚拉亚和应用》。向Bimal Krishna Matilal致敬。国际逻辑会议论文选集，Navya Nyāya和应用，印度加尔各答，2007年1月3日至7日。伦敦：学院出版物（ISBN 978-1-904987-44-4/pbk）。《逻辑研究》（伦敦）第15期，第185-203页（2008年）。
MSC公司：03B44号
PDF格式BibTeX公司 XML格式引用
\textit{K.Lodaya}，研究日志。（伦敦）15，185--203（2008；Zbl 1268.03019）
V·布拉伯曼。；奥利维罗，A。；F.沙帕奇尼克。

分布式定时模型检查器Zeus中的实时工作负载预测和重新分配。 （英语） Zbl 1272.68231号

Brim，Luboš（ed.）等人，第三届平行和分布式验证方法国际研讨会论文集（PDMC 2004），英国伦敦，2004年9月4日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》128，第3期，3-18页（2005年）。
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Braberman}等人，《电子》。注释Theor。计算。科学。128，第3号，第3--18号（2005；Zbl 1272.68231）
全文： 链接
帕罗什·阿齐兹·阿卜杜拉；约翰·德奈克斯；约尔·瓦克宁；詹姆斯·沃雷尔

时间自动机通过通道机器的可决定性和复杂性结果。 （英语） Zbl 1085.68078号

Caires，Luís（编辑）等人，《自动化，语言和编程》。第32届国际学术讨论会，2005年ICALP，葡萄牙里斯本，2005年7月11日至15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27580-0/pbk）。计算机科学课堂讲稿35801089-1101（2005）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，Lect。票据计算。科学。35801089--1101（2005；Zbl 1085.68078）
全文： 内政部
A.切鲁比尼。；北萨巴迪尼。；R.F.C.沃尔特斯。

cospan-span模型中的计时。 （英语） Zbl 1271.68175号

Honsell，F.（ed.）等人，《COMETA计算元模型项目研讨会论文集》，意大利乌迪内，2003年12月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记104，81-97（2004）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.Cherubini｝等人，电子。注释Theor。计算。科学。104，81-97（2004年；兹bl 1271.68175）
全文： 链接
拉杰夫·阿鲁尔；马杜苏丹，P。

时间自动机的决策问题：一项调查。 （英语） Zbl 1105.68057号

Bernardo，Marco（编辑）等人，实时系统设计的形式化方法。计算机、通信和软件系统正式设计方法国际学校，SFM-RT 2004，意大利贝蒂诺罗，2004年9月13日至18日。修订的讲座。柏林：施普林格出版社（ISBN 3-540-23068-8/pbk）。计算机科学讲义3185，1-24（2004）。
MSC公司：65年第68季度 05年3月 68-02
PDF格式BibTeX公司 XML格式引用
\textit{R.Alur}和\textit{P.Madhusudan}，莱克特。票据计算。科学。3185，1--24（2004；Zbl 1105.68057）
全文： 内政部
迈克尔·帕托普洛斯（Michael P.Spathopoulos）。

当时间严格单调增加时，时间自动机监督控制的一个简化的计时过程。 （英语） Zbl 1044.93041号

国际J.控制 76，第17期，1739-1748（2003）.
审核人：Alex V.Kolnogorov（诺夫哥罗德）
MSC公司：93元65角 93甲13 93B11号机组 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.P.Spathopoulos}，《国际期刊控制》第76卷，第17期，1739--1748页（2003年；Zbl 1044.93041）
全文： 内政部 链接
V·布拉伯曼。；奥利维罗，A。；F.沙帕奇尼克。

宙斯：基于的分布式定时模型检查器克洛诺斯. （英语） Zbl 1270.68165号

Brim，Lubos（编辑）等人，PDMC 2002。2002年8月19日在捷克共和国布尔诺举行的第一次并行和分布式模型检查国际研讨会（CONCUR 2002卫星研讨会）会议记录。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第4期，503-522（2002）。
MSC公司：60年第68季度 68宽15 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Braberman}等人，《电子》。注释Theor。计算。科学。68，第4号，503--522（2002；Zbl 1270.68165）
全文： 链接
维克多·布拉伯曼；卡洛斯·洛佩斯·庞博；阿尔弗雷多·奥利维罗

关于改进时间自动机的向后验证（扩展摘要）。 （英语） Zbl 1270.68146号

Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第6期，60-67（2002）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Braberman}等人，《电子》。注释Theor。计算。科学。65，第6号，60-67（2002；Zbl 1270.68146）
全文： 内政部
帕特里夏·鲍耶；安托万·佩蒂特

时间自动机的分解与合成。 （英语） Zbl 0946.68094号

Wiedermann，Jiří（编辑）等人，《自动化、语言和编程》。第26届国际学术讨论会，ICALP’99。捷克共和国布拉格，1999年7月11日至15日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1644, 210-219 (1999).
MSC公司：70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}和\textit{A.Petit}，莱克特。票据计算。科学。1644，210-219（1999；Zbl 0946.68094）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件