×

找到35个文档(结果1-35)

有状态部分顺序缩减的实用方法。 (英语) 兹伯利07728618

Dragoi,Cezara(编辑)等人,《验证、模型检查和抽象解释》。第24届国际会议,VMCAI 2023,美国马萨诸塞州波士顿,2023年1月16-17日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13881, 129-154 (2023).
PDF格式BibTeX公司 XML格式引用

针对时间可达性和安全游戏的顽固集缩减。 (英语) Zbl 07497999号

Dima,Catalin(编辑)等,《定时系统的形式化建模和分析》。第19届国际会议,FORMATS 2021,巴黎,法国,2021年8月24-26日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12860, 32-49 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动合成:分布式视点。 (英语) Zbl 1491.68049号

Lokam,Satya(编辑)等人,第37届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2017,印度坎普尔IIT,2017年12月12-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93,第3条,第5页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分布式控制器的自动合成。 (英语) Zbl 1440.68178号

Halldórsson,Magnüs M.(编辑)等人,《自动化、语言和编程》。第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日。诉讼程序。第二部分。柏林:斯普林格。莱克特。注释计算。科学。9135, 11-27 (2015).
MSC公司:第68季度85 68甲19
PDF格式BibTeX公司 XML格式引用

关于分布式监视和合成。 (英语) Zbl 1459.68017号

Beckmann,Arnold(编辑)等人,《进化可计算性》。2015年6月29日至7月3日在罗马尼亚布加勒斯特举行的第十一届欧洲可计算性会议,CiE 2015。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9136, 54-62 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

成分CSP跟踪细化检查。 (英语) Zbl 1335.68151号

Miller,Alice(ed.)等人,《第八届关键系统自动化验证国际研讨会论文集》(AVoCS 2008),英国格拉斯哥,2008年9月30日至10月1日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记250,第2期,135-151(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于水平采样的分层自适应状态空间缓存。 (英语) Zbl 1234.68261号

Kowalewski,Stefan(编辑)等人,《系统构建和分析的工具和算法》。2009年3月22日至29日,第15届国际会议,TACAS 2009,作为欧洲软件理论和实践联合会议的一部分,ETAPS 2009,英国约克。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学讲座笔记5505,215-229(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用探测集进行动态部分降阶。 (英语) Zbl 1160.68442号

van Breugel,Franck(编辑)等人,CONCUR 2008–并发理论。第19届国际会议,CONCUR 2008,加拿大多伦多,2008年8月19-22日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85360-2/pbk)。计算机科学课堂讲稿5201,233-247(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

处理具有非原子全局条件的参数化系统。 (英语) Zbl 1138.68436号

Logozzo,Francesco(编辑)等人,《验证、模型检查和抽象解释》。2008年1月7日至9日,第九届国际会议,VMCAI 2008,美国旧金山。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78162-2/pbk)。计算机科学课堂讲稿490522-36(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

弱模态微积分中的部分阶降阶。 (英语) Zbl 1512.68160号

Mazurkiewicz,Antoni(编辑)等人,CONCUR’97:并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1243, 5-24 (1997).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

覆盖步骤图。 (英语) Zbl 1418.68157号

Billington,Jonathan(编辑)等人,《Petri网的应用和理论》,1996年。第17届国际会议,日本大阪,1996年6月24日至28日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1091, 516-535 (1996).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于结构化表示的可达性分析。 (英语) Zbl 1418.68146号

Billington,Jonathan(编辑)等人,《Petri网的应用和理论》,1996年。第17届国际会议,日本大阪,1996年6月24日至28日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1091, 269-288 (1996).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无界向量状态空间的简化状态空间表示。 (英语) Zbl 1418.68145号

Billington,Jonathan(编辑)等人,《Petri网的应用和理论》,1996年。第17届国际会议,日本大阪,1996年6月24日至28日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1091, 230-248 (1996).
MSC公司:第68季度85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

主字段