×

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

最新的 引文 关联
帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；Raj Aryan阿加瓦尔；阿德瓦伊·戈博莱；S.、Krishna

概率总店铺订单。 （英语） Zbl 1528.68074号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240317-345（2022年）。
MSC公司：68号30 60J20型 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，Lect。注释计算。科学。13240317--345（2022年；Zbl 1528.68074）
全文： 内政部 arXiv公司
达斯，斯潘丹；帕维特拉·普拉巴卡

平面概率分段常微分系统的稳定性分析。 （英语） Zbl 1522.93183号

布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13479, 192-213 (2022).
MSC公司：93E15型 93立方 93C55美元 60J20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Das}和\textit{P.Prabhakar}，莱克特。注释计算。科学。13479，192--213（2022；Zbl 1522.93183）
全文： 内政部 arXiv公司
王，于；尼玛·鲁希；马修·韦斯特；马赫什·维斯瓦纳坦；盖尔·杜勒鲁（Geir E.Dullerud）。

使用对比和分层样本对PCTL进行统计验证。 （英语） Zbl 1425.68270号

形式方法系统。设计。 54，第2期，145-163（2019）.
MSC公司：60年第68季度 03B44号 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Wang}等人，《形式方法系统》。设计。54，第2号，145-163（2019年；Zbl 1425.68270）
全文： 内政部
米利奥斯·迪米特里奥斯；吉多·桑吉内蒂；大卫·施诺尔

基于序贯贝叶斯推理的连续时间马尔可夫链概率模型检验。 （英语） Zbl 1514.68141号

McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 289-305 (2018).
MSC公司：60年第68季度 60J28型 2015年1月62日
PDF格式BibTeX公司 XML格式引用
\textit{D.Milios}等人，Lect。注释计算。科学。11024、289--305（2018；Zbl 1514.68141）
全文： 内政部 arXiv公司 链接
比斯卡亚，M。；亨利克斯，D。；马特乌斯，P。

近似Skolem问题的可判定性及其在马尔可夫链动态特性逻辑验证中的应用。 （英语） Zbl 1354.68168号

ACM事务处理。计算。日志。 16，第1号，第4条，第17页（2015年）.
MSC公司：60年第68季度 03B25号 03B44号 05年11月 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Biscaia}等人，《美国医学杂志》。计算。日志。16，第1号，第4条，第17页（2015；Zbl 1354.68168）
全文： 内政部
艾丽卡·阿尔布拉汉姆；贝恩德·贝克尔；克里斯蒂安·德内特；尼尔斯·詹森；Joost-Pieter卡托恩；拉尔夫·威默

离散时间马尔可夫模型的反例生成：介绍性调查。 （英语） Zbl 1445.68130号

Bernardo，Marco（编辑）等人，可执行软件模型的形式化方法。2014年6月16日至20日，意大利贝蒂诺罗，第14所计算机、通信和软件系统正式设计方法国际学校，SFM 2014。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8483, 65-121 (2014).
MSC公司：60年第68季度 60J22型 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.ábrahám}等人，Lect。注释计算。科学。8483、65-121（2014年；Zbl 1445.68130）
全文： 内政部
贝诺·德拉哈耶；Larsen，Kim G。；Legay、Axel；米克尔·L·佩德森。；安德烈·索夫斯基

区间马尔可夫链的一致性和精化。 （英语） Zbl 1247.68195号

J.日志。阿尔盖布。程序。 第3209-226号第81页（2012年）.
MSC公司：87年第68季度 2017年第68季度 60J10型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Delahaye}等人，J.Log。阿尔盖布。程序。81、3号、209--226（2012；Zbl 1247.68195）
全文： 内政部
苏米特·库马尔；克里斯托弗·詹姆斯·兰米德

使用统计模型检查和抽象求精对生化系统随机模型进行综合和不可行性分析。 （英语） 兹比尔1211.92021

西奥。计算。科学。 412，第21号，2162-2187（2011）.
MSC公司：92C40型 92立方厘米 60J20型 第62页第10页 65C20个 99年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.K.Jha}和\textit{C.J.Langmead}，Theor。计算。科学。412，第21号，2162--2187（2011；Zbl 1211.92021）
全文： 内政部
保罗·巴拉里尼；安德拉斯·霍瓦思

产品形态CTMC的成分模型检查。 （英语） Zbl 1339.68163号

Michael Goldsmith（编辑）等人，《关键系统自动验证第七届国际研讨会论文集》（AVoCS 2007），英国牛津，2007年9月10日至12日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》250，第1期，21-37（2009）。
MSC公司：60年第68季度 03B70号 60J28型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Ballarini}和\textit{A.Horváth}，电子。注释Theor。计算。科学。250，编号1，21-37（2009；Zbl 1339.68163）
全文： 内政部
Bui，Thang H。；阿尔伯特·尼迈耶

基于引导随机游动的形式化验证。 （英语） Zbl 1211.68245号

Leuschel，Michael（编辑）等人，《综合形式方法》。2009年2月16日至19日，德国杜塞尔多夫，第七届国际会议，IFM 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00254-0/pbk）。计算机科学课堂讲稿5423，72-87（2009）。
MSC公司：60年第68季度 60克50 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.H.Bui}和\textit{A.Nymeyer}，莱克特。注释计算。科学。5423、72--87（2009年；Zbl 1211.68245）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件