×

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

最新的 引文 关联
克里斯特尔·拜尔；卢卡·德·阿尔法罗；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）
全文： 内政部
比斯卡亚，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）
全文： 内政部
塞尔吉奥·吉罗；马库斯·拉贝。

使用反例引导改进验证部分信息概率系统。 （英语） Zbl 1374.68287号

Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561，333-348（2012）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Giro}和\textit{M.N.Rabe}，莱克特。注释计算。科学。7561、333--348（2012年；Zbl 1374.68287）
全文： 内政部
巴伯，贝诺；谢尔盖·哈达德；克劳迪娜·皮卡罗尼

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

Flanagan，Cormac（编辑）等人，《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议（TACAS 2012），是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28755-8/pbk）。计算机科学课堂讲稿7214，331-346（2012）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Barbot}等人，Lect。注释计算。科学。7214，331--346（2012；Zbl 1352.68143）
全文： 内政部
陈韬略；韩婷婷；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）
全文： 内政部
贝诺·德拉哈耶；贝诺·凯劳德；Legay、Axel

概率契约：用于设计具有随机和/或非确定性方面的系统的组合推理方法。 （英语） Zbl 1210.93068号

形式方法系统。设计。 38，第1期，1-32页（2011年）.
MSC公司：93E03型 87年第68季度 65年第68季度 60年第68季度 90秒25
PDF格式BibTeX公司 XML格式引用
\textit{B.Delahaye}等人，《形式方法系统》。设计。38，第1号，1--32（2011；Zbl 1210.93068）
全文： 内政部
塞尔吉奥·吉罗

分布式概率系统的不确定性结果。 （英语） Zbl 1266.68137号

Oliveira，Marcel Vinícius Medeiros（编辑）等人，《形式方法：基础和应用》。2009年8月19日至21日，巴西格拉马多，第十二届巴西正式方法研讨会，SBMF 2009。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-10451-0/pbk）。计算机科学课堂讲稿5902220-235（2009）。
MSC公司：68问题85 03天35分 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Giro}，莱克特。注释计算。科学。590220-235（2009年；兹bl 1266.68137）
全文： 内政部
塞尔吉奥·吉罗；佩德罗·R·达吉尼奥。；费雷尔·菲奥里蒂，路易斯·玛丽亚

概率系统的部分降阶：分布式调度程序的修订。 （英语） Zbl 1254.68149号

Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710，338-353（2009）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Giro}等人，Lect。注释计算。科学。5710338-353（2009年；Zbl 1254.68149）
全文： 内政部
马可·费拉；Legay、Axel；玛丽·斯托琳加

模型检查定量线性时间逻辑。 （英语） Zbl 1286.68313号

Aldini，Alessandro（编辑）等人，第六届编程语言定量方面研讨会论文集（QAPL 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》220，第3期，61-77（2008）。
MSC公司：60年第68季度 03B44号 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Faella}等人，《电子》。注释Theor。计算。科学。220，编号3，61--77（2008；Zbl 1286.68313）
全文： 内政部
Mark Kattenbelt公司；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克

PRISM中基于博弈的概率谓词抽象。 （英语） Zbl 1286.68316号

Aldini，Alessandro（编辑）等人，第六届编程语言定量方面研讨会论文集（QAPL 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》220，第3期，5-21页（2008年）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kattenbelt}等人，《电子》。注释Theor。计算。科学。220，编号3，5--21（2008；Zbl 1286.68316）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件