×

找到16个文档(结果1-16)

平滑模型检查中的主动和稀疏方法。 (英语) Zbl 1491.68112号

阿巴特,亚历山德罗(编辑)等人,《系统的定量评估》。第18届国际会议,QEST 2021,巴黎,法国,2021年8月23日至27日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。128461217-234(2021年)。
PDF格式BibTeX公司 XML格式引用

集体动力的政策综合。 (英语) Zbl 1514.68179号

McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11024, 356-372 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

持续的随机不干扰。 (英语) Zbl 1525.68084号

Pérez,Jorge A.(编辑)等,第25届并发表达性国际研讨会和第15届结构操作语义研讨会合集,EXPRESS/SOS 2018,中国北京,2018年9月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)27653-68(2018)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

三值时空逻辑:随机系统时空特性的进一步分析。 (英语) Zbl 1420.68133号

Bertrand,Nathalie(编辑)等人,《系统的定量评估》。2017年9月5-7日在德国柏林举行的2017年QEST第14届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10503, 317-332 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

通过流体近似检查马尔可夫种群模型中的个体代理行为。 (英语) Zbl 1380.68269号

Bernardo,Marco(编辑)等人,动力系统的形式化方法。2013年6月17日至22日,意大利贝蒂诺罗,第13所计算机、通信和软件系统正式设计方法国际学校,SFM 2013。高级讲座。柏林:施普林格出版社(ISBN 978-3-642-38873-6/pbk)。计算机科学课堂讲稿7938,113-149(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

机会主义网络的混合性能建模。 (英语) Zbl 1458.68026号

Wiklicky,Herbert(编辑)等人,《关于编程语言和系统的数量方面的第十次研讨会论文集》,爱沙尼亚塔林,2012年3月31日和4月1日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)85,106-121(2012)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

流体模型检查。 (英语) Zbl 1364.68259号

Koutny,Maciej(编辑)等,CONCUR 2012–并发理论。第23届国际会议,2012年CONCUR,英国泰恩河畔纽卡斯尔,2012年9月4-7日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32939-5/pbk)。计算机科学课堂讲稿7454,333-347(2012)。
PDF格式BibTeX公司 XML格式引用

随机事件的HYPE。 (英语) Zbl 1457.68179号

Massink,Mieke(编辑)等人,第九届编程语言定量方面研讨会论文集,德国萨尔布吕肯,2011年4月1日至3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)57120-133(2011年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

随机过程代数模型的结构分析。 (英语) Zbl 1308.68086号

Johnson,Michael(编辑)等人,《代数方法论和软件技术》。2010年6月23日至25日,加拿大魁北克省Lac-Beauport,AMAST 2010,第13届国际会议。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-17795-8/pbk)。计算机科学课堂讲稿6486,1-27(2011)。
MSC公司:87年第68季度 68岁20岁
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Bio-PEPA:生化网络过程代数PEPA的扩展。 (英语) Zbl 1279.68254号

尼古拉·卡纳塔(编辑)等人,第一次研讨会《从生物学到并发性再到并发性(FBTC 2007)》会议记录,葡萄牙里斯本,2007年9月8日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记194,第3期,103-117(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用骨架对系统性能建模的结构方法。 (英语) Zbl 1279.68272号

Aldini,Alessandro(编辑)等人,第五届编程语言定量方面研讨会论文集(QAPL 2007),葡萄牙布拉加,2007年3月24日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记190,第3期,167-183页(2007年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

随机过程代数。 (英语) Zbl 1323.68406号

Bernardo,Marco(编辑)等人,《绩效评估的形式化方法》。2007年5月28日至6月2日,意大利贝蒂诺罗,第七所计算机、通信和软件系统正式设计方法国际学校,SFM 2007。高级讲座。柏林:施普林格出版社(ISBN 978-3-540-72482-7/pbk)。计算机科学课堂讲稿4486,132-179(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

绩效评估的形式化方法。2007年5月28日至6月2日,意大利贝蒂诺罗,第七所计算机、通信和软件系统正式设计方法国际学校,SFM 2007。高级讲座。 (英语) Zbl 1118.68001号

计算机科学课堂讲稿4486.柏林:施普林格出版社(ISBN 978-3-540-72482-7/pbk)。vii,469页。(2007).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份