×

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

最新 引文 关联
Van Huijgevoort，Birgit公司;奥利弗·舍恩;萨代赫·苏贾尼;苏菲·海瑟特

SySCoRe：通过随机耦合关系进行合成。 （英语） Zbl 07807954号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第13号文件，第11页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{B.Van Huijgevoort}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第13号文件，第11页（2023；Zbl 07807954）
全文： 内政部 arXiv公司
托马斯·亨辛格（Thomas A.Henzinger）。;尼古拉斯·马佐奇;萨拉索，N.Ege

定量安全性和活性。 （英语） Zbl 07770345号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 349-370 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛T.A.Henzinger｝等人，Lect。注释计算。科学。13992、349--370（2023；Zbl 07770345）
全文： 内政部 arXiv公司
亚历山德罗·西马蒂;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;斯特凡诺·托内塔

安全和协同安全语言的一阶逻辑特征。 （英语） Zbl 07731941号

日志。方法计算。科学。 19，第3号，第13号论文，29页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，《日志》。方法计算。科学。19，第3号，第13号论文，29页（2023；Zbl 07731941）
全文： 内政部 arXiv公司
傅洁

关于利用不完美观察者的近乎真实的意图欺骗计划。 （英语） Zbl 1529.68063号

Fang，Fei（编辑）等，《安全决策与博弈论》。第13届国际会议，2022年10月26日至28日，美国宾夕法尼亚州匹兹堡，GameSec 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13727, 67-86 (2023).
MSC公司：68平方米25 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{J.Fu}，莱克特。注释计算。科学。13727，67-86（2023；Zbl 1529.68063）
全文： 内政部 arXiv公司
亚历山德罗·西马蒂;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;斯特凡诺·托内塔

安全和协同安全语言的一阶逻辑特征。 （英语） Zbl 07793032号

Patricia Bouyer等人，《软件科学和计算结构基础》。第25届国际会议FOSSACS 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分，于2022年4月2日至7日在德国慕尼黑举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13242, 244-263 (2022).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛A.Cimatti｝等人，Lect。注释计算。科学。13242、244--263（2022；Zbl 07793032）
全文： 内政部
莫舍·瓦尔迪。;塞斯·福格蒂;李勇;Tsay，Yih-Kuen先生

走向Büchi互补结构的大统一。 （英语） Zbl 1528.68202号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 185-207 (2022).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}等人，Lect。注释计算。科学。13660，185-207（2022；Zbl 1528.68202）
全文： 内政部
良太郎班诺;松冈、高太郎;直本松本;宋边;Masaki Waga;Kohei Suenaga公司

通过完全同态加密对安全LTL规范进行不经意的在线监控。 （英语） Zbl 1514.68118号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13371, 447-468 (2022).
MSC公司：60年第68季度 68第25页 65年第68季度 68周27
PDF格式BibTeX公司 XML格式引用
\textit{R.Banno}等人，Lect。注释计算。科学。13371、447--468（2022年；Zbl 1514.68118）
全文： 内政部 arXiv公司
科恩，马克斯·H。;加利福尼亚州贝尔塔

基于模型的强化学习用于具有时序逻辑规范的近似最优控制。 （英语） Zbl 07807685号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第12号论文，第11页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.H.Cohen}和\textit{C.Belta}，in：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第12号论文，第11页（2021；Zbl 07807685）
全文： 内政部 arXiv公司
克劳斯·哈维隆德;莫兰·奥马尔;多龙·贝利德

监测一阶间隔逻辑。 （英语） Zbl 1522.68321号

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 66-83 (2021).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{K.Havelund}等人，Lect。注释计算。科学。13085，66-83（2021；Zbl 1522.68321）
全文： 内政部
李勇;Tsay，Yih-Kuen先生;安德烈亚·图里尼;莫舍·瓦尔迪。;张丽君

Büchi自动机的同余关系。 （英语） Zbl 1521.68074号

Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13047, 465-482 (2021).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Li}等人，Lect。注释计算。科学。13047465--482（2021；Zbl 1521.68074）
全文： 内政部 arXiv公司
多龙·贝利德

通过自动机学习进行逆向工程。 （英语） Zbl 1520.68077号

Bartocci，Ezio（编辑）等人，《外层空间的形式方法》。纪念克劳斯·哈维隆德65岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。13065, 182-192 (2021).
MSC公司：60年第68季度 第68季度32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\发短信给Lect。注释计算。科学。13065、182--192（2021；Zbl 1520.68077）
全文： 内政部
奥尔纳·库普弗曼;尼尔·拉维;所罗门·西克特

认证DFA识别和分离边界。 （英语） Zbl 1497.68273号

Hou，Zhe（编辑）等，验证和分析自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12971, 48-64 (2021).
MSC公司：65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}等人，Lect。注释计算。科学。12971，48-64（2021；Zbl 1497.68273）
全文： 内政部 arXiv公司
西尔万·霍尔;雨果·特伦布雷

细粒度可解释性的基础。 （英语） Zbl 1493.68209号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 500-523 (2021).
MSC公司：60年第68季度 03B70号 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{S.Hallé}和\textit{H.Tremblay}，莱克特。注释计算。科学。12760500-523（2021年；Zbl 1493.68209）
全文： 内政部
奥尔纳·库普弗曼

关于高质量合成。 （英语） Zbl 1476.68150号

库利科夫，亚历山大·S（编辑）等人，《计算机科学——理论与应用》。2016年6月9日至13日在俄罗斯圣彼得堡举行的第十一届国际计算机科学研讨会，CSR 2016。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9691, 1-15 (2016).
MSC公司：60年第68季度 68-02
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}，莱克特。注释计算。科学。9691，1-15（2016；Zbl 1476.68150）
全文： 内政部 链接
艾丁·戈尔（Ebru Aydin Gol）;加利福尼亚州贝尔塔

多仿射系统的时间约束时序逻辑控制。 （英语） Zbl 1302.93113号

非线性分析。，混合系统。 10, 21-33 (2013).
审核人：Wiesław Kotarski（索斯诺维奇）
MSC公司：第93页第52页 93个B05 49公里15 70年第68季度 90C25型
PDF格式BibTeX公司 XML格式引用
\textit{E.Aydin Gol}和\textit{C.Belta}，非线性分析。，混合系统。10、21——33（2013；Zbl 1302.93113）
全文： 内政部 arXiv公司
奥利维·高文;约阿希姆·尼伦

前向XPath的流式片段。 （英语） Zbl 1297.68129号

Bouchou-Markhoff，Béatrice（编辑）等人，《自动机的实现和应用》。2011年7月13日至16日在法国布洛伊斯举行的CIAA 2011第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22255-9/pbk）。计算机科学讲座笔记6807,3-15（2011）。
MSC公司：65年第68季度 68英里11 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{O.Gauwin}和\textit{J.Niehren}，莱克特。注释计算。科学。6807,3-15（2011年；Zbl 1297.68129）
全文： 内政部
吕迪格·埃勒斯

无偏：符号有界合成。 （英语） Zbl 1316.68073号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605272-275（2011）。
MSC公司：60年第68季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{R.Ehlers}，莱克特。注释计算。科学。6605272--275（2011；Zbl 1316.68073）
全文： 内政部
埃里昂·普拉库;利迪亚·卡夫拉基。;莫舍·瓦尔迪。

混合系统中LTL安全特性的伪造。 （英语） Zbl 1234.68264号

Kowalewski，Stefan（ed.）等人，《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00767-5/pbk）。计算机科学讲座笔记5505368-382（2009）。
MSC公司：60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{E.Plaku}等人，Lect。注释计算。科学。5505368-382（2009年；Zbl 1234.68264）
全文： 内政部
加尔·卡茨;多龙·贝利德

基于模型检查的遗传编程及其互斥应用。 （英语） Zbl 1134.68411号

Ramakrishnan，C.R.（编辑）等人，《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008，是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78799-0/pbk）。计算机科学课堂讲稿4963141-156（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Katz}和\textit{D.Peled}，莱克特。注释计算。科学。4963、141--156（2008年；Zbl 1134.68411）
全文： 内政部
莫舍·瓦尔迪。

重温自动化理论模型检查。 （英语） Zbl 1132.68483号

Cook，Byron（编辑）等人，《验证、模型检查和抽象解释》。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69735-0/pbk）。计算机科学课堂讲稿4349137-150（2007）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}，莱克特。注释计算。科学。4349137-150（2007年；Zbl 1132.68483）
全文： 内政部
玛丽亚·索里亚

时间自动机的有界模型检验。 （英语） Zbl 1270.68177号

沃尔特·福格勒（编辑）等人，MTCS’02。第三届时间临界系统模型国际研讨会会议记录（CONCUR 2002卫星研讨会），捷克共和国布尔诺，2002年8月24日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第5期，116-134（2003）。
MSC公司：60年第68季度 65年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit｛M.Sorea｝，电子。注释Theor。计算。科学。68，第5号，116--134（2003；Zbl 1270.68177）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件