×

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

最新的 引文 关联
阿明·索塔尼耶;马库斯·西格尔

求解转换率重建的双线性方程组。 （英语） Zbl 1496.68248号

Hojjat，Hossein（编辑）等人，《软件工程基础》，第九届国际会议，FSEN 2021，虚拟活动，2021年5月19日至21日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12818, 157-172 (2021).
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Soltanieh}和\textit{M.Siegle}，莱克特。注释计算。科学。12818、157--172（2021年；Zbl 1496.68248）
全文： DOI程序
乌芒·马图尔;马修·鲍尔。;罗希特·查达;西斯特拉·A·普拉萨德;马赫什·维斯瓦纳坦

通过理性搜索进行精确的定量概率模型检查。 （英语） Zbl 1506.68057号

形式方法系统。设计。 56，编号1-3，90-126（2020）.
MSC公司：60年第68季度 60J20型 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{U.Mathur}等人，《形式方法系统》。设计。56，编号1--3，90-126（2020；Zbl 1506.68057）
全文： DOI程序
卢卡·博托卢西;尼古拉斯·加斯特

超越常微分方程的平均场极限。 （英语） Zbl 1346.68217号

Bernardo，Marco（ed.）等人，集体自适应系统定量评估的正式方法。第16所计算机、通信和软件系统正式设计方法国际学校，2016年SFM，意大利贝蒂诺罗，2016年6月20日至24日。高级讲座。查姆：施普林格（ISBN 978-3-319-34095-1/pbk；978-3-3169-34096-8/电子书）。计算机科学9700，61-82（2016）讲稿。
MSC公司：68T42型 34A60型 34F05型 60J28型 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}和\textit{N.Gast}，莱克特。注释计算。科学。9700、61-82（2016年；Zbl 1346.68217）
全文： DOI程序 哈尔
瓦卡尔·艾哈迈德;奥斯曼·哈桑;索菲涅·塔哈尔

形式可靠性建模与分析：一项调查。 （英语） Zbl 1344.68200号

Michael Kohlhase（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。查姆：施普林格（ISBN 978-3-319-42546-7/pbk；978-3-316-42547-4/电子书）。计算机科学课程讲稿9791。《人工智能课堂讲稿》，132-147（2016）。
MSC公司：68吨15 60年第68季度 68问题85 87年第68季度 2002年8月
PDF格式BibTeX公司 XML格式引用
\textit{W.Ahmed}等人，Lect。注释计算。科学。9791132-147（2016年；兹比尔1344.68200）
全文： DOI程序 arXiv公司
霍尔格·赫尔曼斯;简·克查尔;Steen背心

连续时间的分布式合成。 （英语） Zbl 1475.68207号

Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。963453-369（2016年）。
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Hermanns}等人，Lect。注释计算。科学。9634，353--369（2016；Zbl 1475.68207）
全文： DOI程序 arXiv公司
比斯卡亚，M。;亨利克斯，D。;马特乌斯，P。

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

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

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

Bernardo，Marco（编辑）等人，可执行软件模型的形式化方法。2014年6月16日至20日，意大利贝蒂诺罗，第14所计算机、通信和软件系统正式设计方法国际学校，SFM 2014。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8483, 65-121 (2014).
MSC公司：60年第68季度 60年22日 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.ábrahám}等人，Lect。注释计算。科学。8483、65-121（2014年；Zbl 1445.68130）
全文： DOI程序
弗洛里安·阿诺德;丹尼尔·格布勒;古克，丹尼斯;哈桑·哈特菲

交互式马尔可夫链教程。 （英语） Zbl 1426.68187号

Remke，Anne（编辑）等人，《随机模型检验》。使用随机系统的模型检查技术进行严格的可靠性分析。2012年10月22日至26日，意大利瓦尔恩2012年ROCKS国际秋季学校。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8453, 26-66 (2014).
MSC公司：87年第68季度 60J20型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Arnold}等人，Lect。注释计算。科学。8453，26-66（2014；Zbl 1426.68187）
全文： DOI程序 链接
拜尔，克里斯特尔;克莱门斯·杜伯斯拉夫;克吕佩尔霍尔茨，萨沙;琳达·卢施纳

使用概率模型检查对弹性系统进行能源效用分析。 （英语） Zbl 1407.68280号

Ciardo，Gianfranco（编辑）等人，Petri网和并发的应用和理论。第35届国际会议，PETRI NETS 2014，突尼斯突尼斯，2014年6月23日至27日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8489, 20-39 (2014).
MSC公司：60年第68季度 60J20型 68平方米 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。8489、20--39（2014年；Zbl 1407.68280）
全文： DOI程序
克里斯特尔·拜尔;克莱门斯·杜伯斯拉夫;约阿希姆·克莱因;克吕佩尔霍尔茨，萨沙;萨沙·旺德利希

用于能源效用分析的概率模型检查。 （英语） Zbl 1407.68279号

van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8464, 96-123 (2014).
MSC公司：60年第68季度 60J20型 60J25型 68平方米 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。8464，96-123（2014；Zbl 1407.68279）
全文： DOI程序
高，杨;恩斯特·莫里茨·哈恩;詹乃军;张丽君

CCMC：连续时间马尔可夫链的条件CSL模型检查器。 （英语） Zbl 1410.68227号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。2013年10月15日至18日，第11届国际研讨会，2013年ATVA，越南河内。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8172, 464-468 (2013).
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Gao}等人，Lect。注释计算。科学。8172464--468（2013；Zbl 1410.68227）
全文： DOI程序
巴伯，贝诺;谢尔盖·哈达德;克劳迪娜·皮卡罗尼

统计模型检验的耦合和重要性抽样。 （英语） Zbl 1352.68143号

Flanagan，Cormac（编辑）等人，《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议（TACAS 2012）是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28755-8/pbk）。计算机科学讲义7214331-346（2012）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Barbot}等人，Lect。注释计算。科学。7214，331--346（2012；Zbl 1352.68143）
全文： DOI程序
詹森，尼尔斯;Ábrahám，艾瑞卡;Jens Katelaan公司;拉尔夫·威默;Joost-Pieter卡托恩;贝恩德·贝克尔

离散时间马尔可夫链的层次反例。 （英语） Zbl 1348.68139号

Bultan，Tevfik（编辑）等人，《验证和分析自动化技术》。2011年10月11日至14日，第九届国际研讨会，ATVA 2011，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24371-4/pbk）。计算机科学课堂讲稿6996443-452（2011）。
MSC公司：60年第68季度 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Jansen}等人，Lect。注释计算。科学。6996、443--452（2011年；Zbl 1348.68139）
全文： DOI程序
陈、陶璐;韩婷婷;Joost-Pieter卡托恩;亚历山德鲁·梅雷阿克

用单时钟时间自动机观测连续时间MDP。 （英语） Zbl 1348.68127号

Delzanno，Giorgio（编辑）等人，《可达性问题》。2011年9月28日至30日在意大利热那亚举行的RP 2011第五届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24287-8/pbk）。计算机科学课堂讲稿6945，2-25（2011）。
MSC公司：60年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Chen}等人，Lect。注释计算。科学。6945，2--25（2011；Zbl 1348.68127）
全文： DOI程序
张欣;弗兰克·范·布鲁格尔

显式状态概率模型检查器的进度度量。 （英语） Zbl 1333.68183号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。2011年7月4日至8日，瑞士苏黎世，第38届国际学术讨论会，ICALP 2011。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学课堂讲稿6756283-294（2011）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{X.Zhang}和\textit{F.van Breugel}，莱克特。注释计算。科学。6756、283--294（2011；Zbl 1333.68183）
全文： DOI程序
陈、陶璐;韩婷婷;Joost-Pieter卡托恩;亚历山大·梅雷克莱

根据时间自动机规范对连续时间马尔可夫链进行模型检查。 （英语） Zbl 1233.68156号

日志。方法计算。科学。 7，第1号，第12号论文，34页（2011年）.
审核人：加布里埃尔·V·奥尔曼（布拉什奥夫）
MSC公司：60年第68季度 45D05型 60J28型 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Chen}等人，Log。方法计算。科学。7，第1号，第12号文件，第34页（2011年；Zbl 1233.68156）
全文： DOI程序
巴伯，贝诺;陈、陶璐;Han，婷婷;Joost-Pieter卡托恩;亚历山大·梅雷克莱

线性实时目标的高效CTMC模型检查。 （英语） Zbl 1315.68174号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605128-142（2011）。
MSC公司：60年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Barbot}等人，Lect。注释计算。科学。6605128--142（2011年；Zbl 1315.68174）
全文： DOI程序
陈、陶璐;韩婷婷;Joost-Pieter卡托恩;亚历山大·梅雷克莱

时间非均匀马尔可夫链的LTL模型检验。 （英语） Zbl 1262.68108号

刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799104-119（2009）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Chen}等人，Lect。注释计算。科学。5799，104-119（2009；Zbl 1262.68108）
全文： DOI程序
托马斯·亨辛格（Thomas A.Henzinger）。;芭芭拉·乔布斯曼;维雷娜·沃尔夫

用于指定马尔可夫种群模型的形式主义。 （英语） Zbl 1260.68284号

Bournez，Olivier（编辑）等人，《可达性问题》。2009年9月23日至25日，法国帕莱索，RP 2009第三届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04419-9/pbk）。《计算机科学讲义》5797，3-23（2009）。
MSC公司：87年第68季度 60J27型 65立方厘米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.A.Henzinger}等人，Lect。注释计算。科学。5797，3--23（2009年；Zbl 1260.68284）
全文： DOI程序 链接
斯特凡·布隆;Boudewijn R.哈弗科特。;马蒂亚斯·昆茨;范德波尔（Jaco van de Pol）

针对CSL模型检验的分布式马尔可夫互模拟约简。 （英语） Zbl 1286.68306号

乔纳·伊瓦纳（编辑）等人，《第七届平行和分布式验证方法国际研讨会论文集》（PDMC 2008），匈牙利布达佩斯，2008年3月29日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》220，第2期，35-50（2008）。
MSC公司：60年第68季度 68问题85 87年第68季度 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{S.Blom}等人，《电子》。注释Theor。计算。科学。220，编号2，35--50（2008；Zbl 1286.68306）
全文： DOI程序
Joost-Pieter卡托恩;蒂姆·凯姆纳;伊万·扎普列夫;大卫·詹森（David N.Jansen）。

互模拟最小化主要加快了概率模型检查。 （英语） Zbl 1186.68296号

Grumberg，Orna（编辑）等人，《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007，是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71208-4/pbk）。计算机科学课堂讲稿442487-101（2007）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Katoen}等人，Lect。注释计算。科学。4424，87-101（2007；Zbl 1186.68296）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件