×

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

最新的 引文 关联
赫尔穆特·塞德尔;克里斯蒂安·米勒;伯恩德·芬克贝纳

如何赢得一级安全游戏。 （英语） Zbl 07228518号

Beyer，Dirk（编辑）等人，《验证、模型检查和抽象解释》。第21届国际会议，VMCAI 2020，美国洛杉矶新奥尔良，2020年1月16-21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11990, 426-448 (2020).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Seidl}等人，Lect。注释计算。科学。11990，426--448（2020；Zbl 07228518）
全文： 内政部 arXiv公司
尼古拉斯·巴塞特;伊斯马·杰克;阿诺·保利;Jean-François拉斯金;范登，博加德·玛丽

超越可接受性：战略链之间的主导地位。 （英语） Zbl 1528.91015号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第10条，第22页（2018年）。
MSC公司：91A43型 06A07年 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Basset}等人，LIPIcs——莱布尼茨国际程序。通知。119，第10条，22 p.（2018；Zbl 1528.91015）
全文： 内政部 arXiv公司
马修·黑格;罗兰·梅耶;塞巴斯蒂安·穆斯卡拉;马丁·齐默尔曼

在多项式时间内，下推和可折叠下推系统的安全性相等。 （英语） Zbl 1512.68154号

Potapov，Igor（编辑）等人，第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117，第57条，第15页（2018年）。
MSC公司：60年第68季度 65年第68季度 65年第68季度 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛M.Hague｝等人，LIPIcs——莱布尼茨国际期刊。通知。117，第57条，第15页（2018；Zbl 1512.68154）
全文： 内政部 arXiv公司
罗曼·布伦吉尔;Jean-François拉斯金;马蒂厄·萨索拉斯

欧米伽规则游戏中可容许性的复杂性。 （英语） Zbl 1401.68110号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第23号论文，第10页（2014年）。
MSC公司：65年第68季度 65年第68季度 60年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{R.Brenguier}等人，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。论文编号23，10 p.（2014；Zbl 1401.68110）
全文： 内政部 arXiv公司
托马斯·科尔科姆贝特;纳塔娜·菲亚尔科夫;霍恩，弗洛里安

谨慎行事。 （英语） Zbl 1360.68583号

Raman，Venkatesh（ed.）等人，第34届软件技术和理论计算机科学基础国际会议，FSTTCS 2014，印度新德里，2014年12月15日至17日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-77-4）。LIPIcs–莱布尼茨国际信息学论文集29，379-390（2014）。
MSC公司：60年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{T.Colcombet}等人，LIPIcs——莱布尼茨国际程序。通知。29379--390（2014年；Zbl 1360.68583）
全文： 内政部
克里斯托夫·Löding;斯特凡·雷普克

NFA的可决定性取决于前瞻委托人的存在。 （英语） Zbl 1359.68173号

Seth，Anil（编辑）等人，第33届软件技术和理论计算机科学基础国际会议，2013年FSTTCS，印度古瓦哈蒂，2013年12月12-14日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-64-4）。LIPIcs–莱布尼茨国际信息学论文集24，327-338（2013）。
MSC公司：65年第68季度 2017年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{C.Löding}和\textit{S.Repke}，LIPIcs——莱布尼茨国际程序。通知。24、327--338（2013；Zbl 1359.68173）
全文： 内政部
克里希南德·查特吉;Vinayak S.普拉布。

为实现安全目标，综合使用内存高效的“实时”控制器。 （英语） 兹比尔1361.68164

2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。221-230 (2011).
MSC公司：68问题85 60年第68季度 91A05型 91A80型 93亿B50
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{V.S.Prabhu}，in：第14届ACM混合系统国际会议论文集：计算和控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。221--230（2011年；Zbl 1361.68164）
全文： 内政部
卡拉·西特祖;德米特里·格罗莫夫;约格·莱斯;丹尼尔·科罗纳;亚历山德罗·朱阿

安全性和活性约束下离散时间混合自动机的最优控制。 （英语） Zbl 1101.68667号

非线性分析。，理论方法应用。，序列号。A、 理论方法 65，第6期，1188-1210（2006）.
MSC公司：65年第68季度 49N90型
PDF格式BibTeX公司 XML格式引用
\textit{C.Seatzu}等人，非线性分析。，理论方法应用。，序列号。A、 理论方法65，No.6，1188--1210（2006；Zbl 1101.68667）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件