×

找到194份文件（结果1-100）

最新的 引文 关联
科托Mascle；丹尼尔·奈德；马克西米利安·施温格；保罗·塔布阿达；亚历山大·韦内特；马丁·齐默尔曼

从LTL到rLTL监控：通过健壮语义改进可监控性。 （英语） Zbl 1522.68334号

形式方法系统。设计。 59，编号1-3，170-204（2021）.
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{C.Mascle}等人，《形式方法系统》。设计。59，编号1-3170-204（2021；兹bl 1522.68334）
全文： 内政部
费兰多，安吉洛；拉斐尔·卡多佐（Rafael C.Cardoso）。；玛丽·法雷尔；马特·勒克库克；法比奥·帕帕奇尼；迈克尔·费希尔；维维亚娜·马斯卡迪

弥合单模型和多模型预测运行时验证之间的差距。 （英语） Zbl 1522.68315号

形式方法系统。设计。 59，编号1-3，44-76（2021）.
MSC公司：60年第68季度 68T40型
PDF格式BibTeX公司 XML格式引用
\textit{A.Ferrando}等人，《形式方法系统》。设计。59，编号1--3，44-76（2021；Zbl 1522.68315）
全文： 内政部
G.库尔蒂斯。；狄克逊，C。；M·费希尔。；利西萨，A。

通过一阶时序逻辑对先导/跟随系统进行参数化验证。 （英语） Zbl 1492.68087号

形式方法系统。设计。 58，第3号，440-468（2021）; 更正同上，第60号，第325-326（2022）。
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Kourtis}等人，《形式方法系统》。设计。58，第3号，440-468（2021；Zbl 1492.68087）
全文： 内政部
迈克尔·布隆丁；哈维尔·埃斯帕尔扎；斯特凡·贾克斯；菲利普·梅耶（Philipp J.Meyer）。

致力于人口协议的有效验证。 （英语） Zbl 1487.68032号

形式方法系统。设计。 57，编号3，305-342（2021）.
MSC公司：64岁以下 68个M12 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Blondin}等人，《形式方法系统》。设计。57，编号3，305-342（2021；Zbl 1487.68032）
全文： 内政部 arXiv公司
奥德·帕顿；Jochen Hoenicke公司；肯尼思·麦克米兰。；安德烈亚斯·波德尔斯基；穆利·萨吉夫；沙龙·肖姆

证明无限状态系统时间特性的时间预言。 （英语） Zbl 1522.68340号

形式方法系统。设计。 57，编号2，246-269（2021）.
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{O.Padon}等人，《形式方法系统》。设计。57，编号2，246--269（2021；Zbl 1522.68340）
全文： 内政部 arXiv公司
罗德里克·布洛姆；尼古拉斯·布劳德·桑托尼；维达德·哈季奇；埃格利，乌韦；弗洛里安·朗辛；马蒂娜·塞德尔

两个SAT解算器，用于求解具有任意数量量词交替的量化布尔公式。 （英语） Zbl 1522.68715号

形式方法系统。设计。 57，第2号，157-177（2021）.
MSC公司：68伏15 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，《形式方法系统》。设计。57，第2号，157--177（2021；Zbl 1522.68715）
全文： 内政部
塞萨尔·桑切斯；杰拉尔多·施奈德；沃尔夫冈·阿伦特；埃齐奥·巴托西；多梅尼科·比安库利；克里斯蒂安·科伦坡；伊利耶斯·法尔科内；阿德里安·弗兰卡兰扎；Sr Djan Krstić；Lourenço，Joáo M。；德扬·尼科维奇；戈登·佩斯。；何塞·鲁菲诺；辛戈尔斯，朱利安；德米特里·特拉泰尔；亚历山大·韦斯

高级应用程序域（软件以外）的运行时验证挑战调查。 （英语） Zbl 1425.68268号

形式方法系统。设计。 54，第3号，279-335（2019）.
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Sánchez}等人，《形式方法系统》。设计。54，第3号，279--335（2019；Zbl 1425.68268）
全文： 内政部 arXiv公司
卡列夫·阿尔佩纳斯；熊猫，Aurojit；亚历山大·拉比诺维奇；穆利·萨吉夫；斯科特·申克；沙龙·肖姆；纱线维纳

状态网络验证的一些复杂性结果。 （英语） Zbl 1425.68248号

形式方法系统。设计。 54，第2期，191-231（2019）.
MSC公司：60年第68季度 68M10个 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Alpernas}等人，《形式方法系统》。设计。54，第2号，191--231（2019；Zbl 1425.68248）
全文： 内政部 arXiv公司
斯里尼瓦斯·皮尼塞蒂；普洛塔萨，维奥雷尔；斯塔夫罗斯·特里帕基斯；蒂埃里·杰伦；伊利耶斯·法尔科内；马尔尚，赫维

预测运行时强制。 （英语） Zbl 1370.68207号

形式方法系统。设计。 51，第1期，154-199（2017）.
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Pinisetty}等人，《形式方法系统》。设计。51，第1号，154--199（2017；Zbl 1370.68207）
全文： 内政部 哈尔
安托万杜兰·加塞林；哈维尔·埃斯帕尔扎；皮埃尔·甘蒂；鲁帕克·马朱姆达尔

模型检查参数化异步共享内存系统。 （英语） Zbl 1360.68584号

形式方法系统。设计。 50，编号2-3，140-167（2017）.
MSC公司：60年第68季度 65年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Durand-Gasselin}等人，《形式方法系统》。设计。50，编号2--3，140-167（2017；Zbl 1360.68584）
全文： 内政部 arXiv公司
罗曼·德曼根；本田、高黑；胡雷蒙德；鲁米亚纳内科娃；吉田、Nobuko

实用的可中断对话：使用多方会话类型和Python进行分布式动态验证。 （英语） Zbl 1341.68118号

形式方法系统。设计。 46，第3期，197-225（2015）.
MSC公司：60年第68季度 68甲15 68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Demangeon}等人，《形式方法系统》。设计。46，第3号，197--225（2015；Zbl 1341.68118）
全文： 内政部
斯里尼瓦斯·皮尼塞蒂；伊利耶斯·法尔科内；蒂埃里·杰伦；埃尔文·马尔坎德；安托万·罗莱；奥马尔·恩格纳·蒂莫

已重新访问定时属性的运行时强制。 （英语） Zbl 1314.68102号

形式方法系统。设计。 45，第3期，381-422（2014）.
MSC公司：68号30 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Pinisetty}等人，《形式方法系统》。设计。45，第3号，381--422（2014；Zbl 1314.68102）
全文： 内政部 哈尔

筛选结果依据…

全部的 前5名

作者

全部的 前5名

体积

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件