×

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

最新的 引文 关联
詹姆斯·C·A·梅因（James C.A.Main）。;米凯尔·兰多尔;杰里米·斯普洛斯顿

有界窗口奇偶目标的定时游戏。 （英语） Zbl 07643434号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 165-182 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.C.A.Main}等人，Lect。注释计算。科学。13465，165--182（2022；Zbl 07643434）
全文： 内政部 arXiv公司
苏里亚·西特加·德苏;阿努巴夫·斯利瓦斯塔瓦;M.V.Panduranga Rao

纠缠交换的模型检查。 （英语） Zbl 07643430号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 98-114 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.S.T.Desu}等人，Lect。注释计算。科学。13465，98-114（2022；Zbl 07643430）
全文： 内政部
帕特里夏·鲍耶;保罗·加斯丁;弗雷德里克·赫布雷托;奥坎·桑库尔;Srivathsan，B。

时间自动机的分区验证：外推、模拟和下一步？ （英语） Zbl 07643426号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 16-42 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，Lect。注释计算。科学。13465，16-42（2022；Zbl 07643426）
全文： 内政部 arXiv公司
阿尔恩哈特曼斯;Joost-Pieter卡托恩;科伦，布拉姆;拼写，Jip

在概率时间自动机中调整概率。 （英语） Zbl 1491.68098号

阿巴特，亚历山德罗（编辑）等人，《系统的定量评估》。第18届国际会议，QEST 2021，巴黎，法国，2021年8月23日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12846, 39-58 (2021).
MSC公司：65年第68季度 60年第68季度 87年第68季度 90立方厘米40
PDF格式BibTeX公司 XML格式引用
\textit{A.Hartmanns}等人，莱克特。注释计算。科学。12846，39-58（2021；Zbl 1491.68098）
全文： 内政部 链接
杰里米·斯普洛斯顿

具有一个时钟和初始化的时钟相关概率的概率时间自动机。 （英语） Zbl 1511.68140号

Gotsman，Alexey（编辑）等人，分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议，FORTE 2020，作为第15届分布式计算技术国际联合会议的一部分，于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12136, 150-168 (2020).
MSC公司：65年第68季度 87年第68季度 90立方厘米40
PDF格式BibTeX公司 XML格式引用
\文本｛J.Sproston｝，Lect。注释计算。科学。12136，150--168（2020；Zbl 1511.68140）
全文： 内政部
傅洪飞;李毅;李建林

根据欧米伽正则稠密时间属性验证概率时间自动机。 （英语） Zbl 1514.68132号

McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024122-139（2018）。
MSC公司：60年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Fu}等人，Lect。注释计算。科学。11024、122——139（2018年；Zbl 1514.68132）
全文： 内政部 arXiv公司
克里斯特尔·拜尔;卢卡·德·阿尔法罗;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡

模型检验概率系统。 （英语） Zbl 1392.68227号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。963-999 (2018).
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，in：模型检查手册。查姆：斯普林格。963--999（2018；Zbl 1392.68227）
全文： 内政部
伊凡·埃姆齐瓦特;贝诺·德拉哈耶;莱姆，迪迪埃;奥利维尔·H·鲁克斯。

概率时间Petri网。 （英语） Zbl 1346.68131号

Kordon，Fabrice（编辑）等人，Petri网和并发的应用和理论。第37届国际会议，PETRI NETS 2016，波兰托伦，2016年6月19-24日。诉讼程序。查姆：施普林格（ISBN 978-3-319-39085-7/pbk；978-3-3169-39086-4/电子书）。计算机科学讲座笔记9698，261-280（2016）。
MSC公司：68问题85 87年第68季度 90立方厘米40
PDF格式BibTeX公司 XML格式引用
\textit{Y.Emzivat}等人，Lect。注释计算。科学。9698，261--280（2016；Zbl 1346.68131）
全文： 内政部
格钦·诺曼;大卫·帕克;邹学毅

部分可观测概率实时系统的验证和控制。 （英语） Zbl 1465.68182号

Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268, 240-255 (2015).
MSC公司：60年第68季度 68平方米 68平方米25 65年第68季度 93C83号
PDF格式BibTeX公司 XML格式引用
\textit{G.Norman}等人，Lect。注释计算。科学。9268、240-255（2015年；Zbl 1465.68182）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件