×

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

最新的 引文 关联
帕特里夏·布耶;保罗·加斯丁;弗雷德里克·赫布雷托;奥坎·桑库尔;Srivathsan，B。

时间自动机的分区验证：外推、模拟和下一步？ （英语） Zbl 07643426号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465，16-42（2022）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，Lect。注释计算。科学。13465，16-42（2022；Zbl 07643426）
全文： 内政部 arXiv公司
雷米鹦鹉;莱姆，迪迪埃

加权时间自动机中的向后符号最优可达性。 （英语） Zbl 07317089号

Bertrand，Nathalie（编辑）等，时间系统的形式化建模和分析。第18届国际会议，FORMATS 2020，奥地利维也纳，2020年9月1日至3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12288，41-57（2020）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.鹦鹉}和\textit{D.石灰}，莱克特。注释计算。科学。12288，41-57（2020；Zbl 07317089）
全文： 内政部 哈尔
莱姆，迪迪埃;奥利维尔·H·鲁克斯。;夏洛特·塞纳

时间Petri网中有界代价可达性的参数综合。 （英语） Zbl 1532.68046号

Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11522406-425（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Lime}等人，Lect。注释计算。科学。11522406--425（2019年；Zbl 1532.68046）
全文： 内政部 哈尔
马丁·范策尔;马赫萨·希尔穆罕默德;马尼省斯瓦米纳坦;詹姆斯·沃雷尔

定价时间自动机的成本和回报。 （英语） Zbl 1483.68167号

Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。2018年7月9日至13日，捷克共和国布拉格，ICALP 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107，第125条，第14页（2018）。
MSC公司：第68季度第45季度 03B25号 11日72 2005年11月 91B02型
PDF格式BibTeX公司 XML格式引用
\textit{M.Fränzle}等人，LIPIcs——莱布尼茨国际程序。通知。107，第125条，第14页（2018；Zbl 1483.68167）
全文： 内政部
帕特里夏·布耶;乌里·法伦贝格;金·古德斯特兰·拉森;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔

模型检查实时系统。 （英语） Zbl 1392.68235号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1001-1046 (2018).
MSC公司：60年第68季度 第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，in：模型检查手册。查姆：斯普林格。1001--1046（2018；Zbl 1392.68235）
全文： 内政部 哈尔
高弘松田;花冈、果一郎

交易明文-可模拟性，以实现选定的密文安全。 （英语） Zbl 1388.94073号

Cheng，Chen Mou（编辑）等人，《公钥密码术——PKC 2016》。2016年3月6日至9日，第19届IACR公开密钥加密实践与理论国际会议，台湾台北。诉讼程序。第一部分柏林：施普林格出版社（ISBN 978-3-662-49383-0/pbk；978-3-562-49384-7/ebook）。计算机科学讲座笔记9614，3-34（2016）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{T.Matsuda}和\textit{G.Hanaoka}，莱克特。注释计算。科学。9614，3--34（2016；Zbl 1388.94073）
全文： 内政部
亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡;格钦·诺曼

概率时间自动机的符号最小期望时间控制器综合。 （英语） Zbl 1465.68153号

Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268, 140-155 (2015).
MSC公司：第68季度第45季度 87年第68季度 93亿B50
PDF格式BibTeX公司 XML格式引用
\textit{A.Jovanović}等人，Lect。注释计算。科学。9268、140-155（2015年；Zbl 1465.68153）
全文： 内政部
乌里·法伦贝格;Larsen，Kim G。;Legay、Axel

实时系统的基于模型的验证、优化、综合和性能评估。 （英语） Zbl 1445.68132号

刘志明（主编）等，《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8050, 67-108 (2013).
MSC公司：60年第68季度 第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{U.Fahrenberg}等人，Lect。注释计算。科学。8050，67--108（2013；Zbl 1445.68132）
全文： 内政部 哈尔
乌里·法伦贝格;Larsen，Kim G。

定价时间自动机中的折扣最优无限运行。 （英语） Zbl 1347.68204号

Habermehl，P.（ed.）等人，第八、第九和第十届无限状态系统验证国际研讨会会议记录（INFINITY 2006、2007、2008），德国波恩，2006年8月26日，葡萄牙里斯本，2007年9月8日，加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记239179-191（2009）。
MSC公司：第68季度第45季度 68平方米 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{U.Fahrenberg}和\textit{K.G.Larsen}，电子。注释Theor。计算。科学。239179--191（2009年；Zbl 1347.68204）
全文： 内政部
马丁·范策尔;马尼省斯瓦米纳坦

对多定价时间自动机的可判定性和最优可达性进行了修正。 （英语） Zbl 1262.68090号

Ouaknine，Joöl（编辑）等，时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04367-3/pbk）。计算机科学课堂讲稿5813，149-163（2009）。
MSC公司：第68季度第45季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Fränzle}和\textit{M.Swaminathan}，莱克特。注释计算。科学。5813、149--163（2009年；Zbl 1262.68090）
全文： 内政部
马尔钦·尤季扬斯基;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪

秘密定价的概率时间自动机。 （英语） Zbl 1254.68136号

Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710，415-430（2009）。
MSC公司：第68季度第45季度 2017年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Jurdziñski}等人，莱克特。注释计算。科学。5710415--430（2009年；Zbl 1254.68136）
全文： 内政部 链接
帕罗什·阿齐兹·阿卜杜拉;理查德·迈尔

定价时间Petri网中的最小成本可达性/覆盖性。 （英语） Zbl 1234.68280号

de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504348-363（2009）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}和\textit{R.Mayr}，莱克特。注释计算。科学。5504348-363（2009年；Zbl 1234.68280）
全文： 内政部
马尔钦·尤季扬斯基;阿舒托什·特里维迪

价格隐秘的定时自动机。（扩展摘要）。 （英语） Zbl 1171.68529号

Cassez，Franck（编辑）等，时间系统的形式化建模和分析。2008年9月15日至17日，第六届国际会议，FORMATS 2008，法国圣马洛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85777-8/pbk）。计算机科学课堂讲稿5215，48-62（2008）。
MSC公司：第68季度第45季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Jurdziñski}和\textit{A.Trivedi}，莱克特。注释计算。科学。5215、48-62（2008年；Zbl 1171.68529）
全文： 内政部
吉·斯尔巴

比较时间自动机和Petri网时间扩展的表达能力。 （英语） Zbl 1171.68579号

Cassez，Franck（编辑）等，时间系统的形式化建模和分析。第六届国际会议，FORMATS 2008，法国圣马洛，2008年9月15日至17日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85777-8/pbk）。计算机科学课堂讲稿5215，15-32（2008）。
MSC公司：68问题85 第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Srba}，莱克特。注释计算。科学。5215，15--32（2008；Zbl 1171.68579）
全文： 内政部
米盖尔·安德烈斯。;彼得·范·罗苏姆

概率和非确定性系统上的条件概率。 （英语） Zbl 1134.68395号

Ramakrishnan，C.R.（编辑）等人，《系统构建和分析的工具和算法》。2008年3月29日至4月6日，作为欧洲软件理论和实践联合会议的一部分，第14届国际会议，TACAS 2008，在匈牙利布达佩斯举行。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78799-0/pbk）。计算机科学课堂讲稿4963157-172（2008）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.E.Andrés}和\textit{P.van Rossum}，莱克特。注释计算。科学。4963、157--172（2008年；Zbl 1134.68395）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件