×

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

最新的 引文 关联
托马斯·亨辛格（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年XX月
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，《日志》。方法计算。科学。19，第3号，第13号论文，29页（2023；Zbl 07731941）
全文： 内政部 arXiv公司
亚历山德罗·西马蒂;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;斯特凡诺·托内塔

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

Bouyer，Patricia（编辑）等人，《软件科学和计算结构基础》。第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）
全文： 内政部
克拉夫茨克，尼古拉斯;简·佩莱斯卡

使用符号有限状态机进行穷尽的面向属性的基于模型的测试。 （英语） Zbl 1522.68331号

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 84-102 (2021).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Krafczyk}和\textit{J.Peleska}，莱克特。注释计算。科学。13085，84-102（2021；Zbl 1522.68331）
全文： 内政部
奥尔纳·库普弗曼

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

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

翻译并发系统的测试理论。 （英语） Zbl 1444.68121号

Meyer，Roland（编辑）等人，《正确的系统设计》。2015年9月8日至9日，德国奥尔登堡，纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9360, 133-151 (2015).
MSC公司：68问题85 68问题55 60年第68季度 68问题65
PDF格式BibTeX公司 XML格式引用
\文本｛J.Peleska｝，Lect。注释计算。科学。9360、133--151（2015年；Zbl 1444.68121）
全文： 内政部
埃里昂·普拉库;利迪亚·卡夫拉基。;莫舍·瓦尔迪。

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

Kowalewski，Stefan（编辑）等人，《系统构建和分析的工具和算法》。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 1270.68177号

Vogler，Walter（编辑）等人，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名

软件