×

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

最新的 引文 关联
瓦伦蒂娜·卡斯蒂格利奥尼;米歇尔·洛雷蒂;蒂妮，西蒙

你的程序适应性和可靠性如何？ （英语） Zbl 1489.68139号

Peters，Kirstin（编辑）等人，分布式对象、组件和系统的形式化技术。第41届IFIP WG 6.1国际会议，FORTE 2021，作为第16届分布式计算技术国际联合会议的一部分，于2021年6月14日至18日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12719, 60-79 (2021).
MSC公司：第68季度第60季度 68号30 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Castiglioni}等人，Lect。注释计算。科学。12719、60-79（2021年；Zbl 1489.68139）
全文： 内政部
克里斯特尔·拜尔;卢卡·德·阿尔法罗;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公司：第68季度第60季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，in：模型检查手册。查姆：斯普林格。963--999（2018；Zbl 1392.68227）
全文： 内政部
卢卡·博托卢西;尼古拉斯·加斯特

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

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

马尔科夫过程代数的微分互模拟。 （英语） Zbl 1465.68195号

Italiano，F.（ed.）等人，《2015年计算机科学数学基础》。2015年8月24日至28日，第40届国际研讨会，MFCS 2015，意大利米兰。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。9234, 293-306 (2015).
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Iacobelli}等人，Lect。注释计算。科学。9234，293--306（2015；Zbl 1465.68195）
全文： 内政部
安娜·科列斯尼琴科;瓦莱里奥·塞尼;Alireza Pourranjabar公司;安妮·雷姆克

将平均场近似应用于连续时间马尔可夫链。 （英语） 兹比尔1426.68011

Remke，Anne（编辑）等人，《随机模型检验》。使用随机系统的模型检查技术进行严格的可靠性分析。2012年10月22日至26日，意大利瓦尔恩2012年ROCKS国际秋季学校。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8453, 242-280 (2014).
MSC公司：68M10个 60J27型 第68季度第60季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Kolesnichenko}等人，Lect。注释计算。科学。8453、242--280（2014年；Zbl 1426.68011）
全文： 内政部 链接
丹尼尔·布朗;里卡多·普切拉

时间随机关系的类别。 （英语） Zbl 1337.68195号

Abramsky，Samson（编辑）等人，第25届编程语义数学基础会议论文集（MFPS 2009），英国牛津，2009年4月3日至7日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记249，193-217（2009）。
MSC公司：87年第68季度 18立方厘米 18 C50 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Brown}和\textit{R.Pucella}，电子。注释Theor。计算。科学。249、193--217（2009年；Zbl 1337.68195）
全文： 内政部
托马斯·亨辛格（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）
全文： 内政部 链接
费德里卡·乔切塔;简·希尔斯顿

Bio-PEPA：生化网络过程代数PEPA的扩展。 （英语） Zbl 1279.68254号

尼古拉·卡纳塔（编辑）等人，第一次研讨会《从生物学到并发性再到并发性（FBTC 2007）》会议记录，葡萄牙里斯本，2007年9月8日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记194，第3期，103-117（2008）。
MSC公司：68问题85 87年第68季度 92C40型 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{F.Ciocchetta}和\textit{J.Hillston}，电子。注释Theor。计算。科学。194，第3号，第103-117条（2008年；Zbl 1279.68254）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件