×

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

最新的 引文 相关性
蒂莫·格罗斯（Timo P.Gros）。;霍尔格·赫尔曼斯;霍夫曼，约格;迈克尔·克劳克;马塞尔·斯坦梅茨

深入的统计模型检查。 （英语） 兹比尔1511.68157

Gotsman，Alexey（编辑）等人，分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议，FORTE 2020，作为第15届分布式计算技术国际联合会议的一部分，于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12136, 96-114 (2020).
MSC公司：60年第68季度 60年20日 87年第68季度 68T07型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{T.P.Gros}等人，Lect。注释计算。科学。12136，96-114（2020；Zbl 1511.68157）
全文： DOI程序
佩德罗·R·达吉尼奥。;阿恩·哈特曼斯;Legay、Axel;肖恩·塞德瓦兹

概率时间自动机最优调度的统计近似。 （英语） Zbl 1354.68172号

布拉哈姆，埃里卡（编辑）等，《综合形式方法》。2016年6月1日至5日在冰岛雷克雅未克举行的2016年第12届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-33692-3/pbk；978-3-3169-33693-0/电子书）。计算机科学讲座笔记968199-114（2016）。
MSC公司：60年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.R.D'Argenio}等人，莱克特。注释计算。科学。9681，99-114（2016；Zbl 1354.68172）
全文： DOI程序 链接
哈利勒·戈尔巴尔;帕拉萨拉·斯里达尔·达吉拉拉;维尼特·卡隆;伊万奇·弗兰乔;阿尔蒂·古普塔

具有范围概率的系统的有效概率模型检查。 （英语） Zbl 1374.68286号

Finkel，Alain（编辑）等人，《可达性问题》。2012年9月17日至19日，法国波尔多RP 2012第六届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33511-2/pbk）。计算机科学课堂讲稿7550107-120（2012）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Ghorbal}等人，Lect。注释计算。科学。7550107-120（2012年；Zbl 1374.68286）
全文： DOI程序 哈尔
亚历山大·戴维;Larsen，Kim G。;Legay、Axel;马吕斯·米库奇奥尼斯;丹尼·鲍尔森;乔纳斯·范弗利特;王，郑

定价时间自动机网络的统计模型检验。 （英语） Zbl 1348.68130号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，80-96（2011）。
MSC公司：60年第68季度 65年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.David}等人，Lect。注释计算。科学。6919、80-96（2011年；Zbl 1348.68130）
全文： DOI程序
莫妮卡·海纳;塞巴斯蒂安·勒拉克;大卫·吉尔伯特;沃尔夫冈·马尔旺

扩展的随机Petri网用于基于模型的湿式实验室实验设计。 （英语） Zbl 1260.68268号

Priami，Corrado（编辑）等人，《计算系统生物学汇刊十一》。柏林：施普林格出版社（ISBN 978-3-642-04185-3/pbk）。计算机科学课程讲稿5750。生物信息学课堂讲稿。《期刊副刊》，138-163（2009）。
MSC公司：68问题85 87年第68季度 92-08 92C40型
PDF格式BibTeX公司 XML格式引用
\textit{M.Heiner}等人，Lect。注释计算。科学。5750、138——163（2009年；兹比尔1260.68268）
全文： DOI程序
拉杜·格罗苏;斯科特·斯莫尔卡。

进程代数的蒙特卡罗方法。 （英语） Zbl 1316.68075号

Aceto，Luca（编辑）等人，《代数过程计算论文》研讨会论文集（APC 25），意大利贝蒂诺罗，2005年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记162203-207（2006）。
MSC公司：60年第68季度 65年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Grosu}和\textit{S.A.Smolka}，电子。理论注释。计算。科学。162203-207（2006；Zbl 1316.68075）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件