×

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

最新的 引文 关联
靖亚萍；安德鲁·米纳（Andrew S.Miner）。

基于动作和状态的计算树度量语言和算法。 （英语） Zbl 1514.68135号

McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11024, 190-206 (2018).
MSC公司：60年第68季度 03B70号 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Jing}和\textit{A.S.Miner}，Lect。票据计算。科学。11024、190--206（2018；Zbl 1514.68135）
全文： 内政部
奈杰尔·托马斯；彼得·哈里森。

具有功能速率的PEPA模型的半成品形式解。 （英语） Zbl 1390.68492号

Dudin，Alexander（编辑）等人，《分析和随机建模技术及应用》。第20届国际会议，ASMTA 2013，比利时根特，2013年7月8-10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39407-2/pbk）。计算机科学课堂讲稿7984，416-430（2013）。
MSC公司：87年第68季度 68个M12 68平方米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{N.托马斯}和\textit{P.G.哈里森}，莱克特。票据计算。科学。79841416-430（2013年；兹比尔1390.68492）
全文： 内政部
西蒙娜塔·巴萨莫；吉安·卢卡·德伊·罗西；安德烈亚·马林

协作自动机中的集中和反向过程。 （英语） Zbl 1356.68021号

Al-Begain，Khalid（编辑）等人，《分析和随机建模技术及应用》。2012年6月4-6日在法国格勒诺布尔举行的2012年ASMTA第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-30781-2/pbk）。计算机科学讲义7314121-226（2012）。
MSC公司：68平方米 60J28型 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Balsamo}等人，Lect。票据计算。科学。7314、212--226（2012；Zbl 1356.68021）
全文： 内政部
卢西安·本蒂亚；彼得·塞巴·奥维茨基

概率实时重写理论及其表达能力。 （英语） Zbl 1348.68080号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，60-79（2011）。
MSC公司：第68季度第42季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bentea}和\textit{P.C.lveczky}，莱克特。票据计算。科学。6919、60-79（2011年；Zbl 1348.68080）
全文： 内政部 链接
丁杰；简·希尔斯顿

随机过程代数模型的结构分析。 （英语） 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格式引用
\textit{J.Ding}和\textit{J.Hillston}，莱克特。票据计算。科学。6486，1--27（2011；Zbl 1308.68086）
全文： 内政部
霍尔格·赫尔曼斯；Joost-Pieter卡托恩

交互马尔可夫链的方式和原因。 （英语） Zbl 1312.68152号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第八届国际研讨会，2009年FMCO，荷兰埃因霍温，2009年11月4-6日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17070-6/pbk）。计算机科学课堂讲稿6286，311-337（2010）。
MSC公司：68问题85 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Hermanns}和\textit{J.-P.Katoen}，莱克特。票据计算。科学。6286、311--337（2010年；Zbl 1312.68152）
全文： 内政部 链接
Joost-Pieter卡托恩；丹尼尔·克林克；Neuhäußer，Martin R。

随机系统的组合抽象。 （英语） Zbl 1262.68142号

Ouaknine，Joöl（编辑）等，时间系统的形式化建模和分析。第七届国际会议，FORMATS 2009，匈牙利布达佩斯，2009年9月14日至16日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04367-3/pbk）。计算机科学课堂讲稿5813195-211（2009）。
MSC公司：87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Katoen}等人，Lect。票据计算。科学。5813，195--211（2009；Zbl 1262.68142）
全文： 内政部 链接
van Bakel，S。；我·汗。；维格利奥蒂，M.G。；希思，J.K。

用BioAmbients模拟FGF受体的细胞内命运。 （英语） Zbl 1286.68360号

Aldini，Alessandro（编辑）等人，第六届编程语言定量方面研讨会论文集（QAPL 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》220，第3期，181-197（2008）。
MSC公司：68问题85 87年第68季度 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{S.van Bakel}等人，《电子》。注释Theor。计算。科学。220，第3号，181--197（2008；Zbl 1286.68360）
全文： 内政部
卢卡·博托卢西

用主方程逼近随机并发约束规划。 （英语） Zbl 1286.68344号

Aldini，Alessandro（编辑）等人，第六届编程语言定量方面研讨会论文集（QAPL 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》220，第3期，163-180（2008）。
MSC公司：68问题85 34A99型 第68季度55 87年第68季度 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}，电子。注释Theor。计算。科学。220，编号3，163--180（2008；Zbl 1286.68344）
全文： 内政部
费德里卡·乔切塔；简·希尔斯顿

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年；兹bl 1279.68254）
全文： 内政部
加加林·亚科姆；科尔·默里；斯蒂芬·吉尔摩；简·希尔斯顿

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

Aldini，Alessandro（编辑）等人，第五届编程语言定量方面研讨会论文集（QAPL 2007），葡萄牙布拉加，2007年3月24日至25日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》190，第3期，167-183（2007）。
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Yaikhom}等人，《电子》。注释Theor。计算。科学。190，第3号，167--183（2007；Zbl 1279.68272）
全文： 内政部
维雷娜·沃尔夫

用随机自动机网络模拟生化反应。 （英语） Zbl 1277.68215号

Busi，Nadia（编辑）等人，《膜计算和生物启发过程计算第一次研讨会论文集》（MeCBIC 2006），S.Servolo，意大利威尼斯，2006年7月9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记171，第2期，197-208（2007）。
MSC公司：68问题85 65年第68季度 87年第68季度 92C40型
PDF格式BibTeX公司 XML格式引用
\textit{V.Wolf}，电子。注释Theor。计算。科学。171，第2号，197--208（2007；Zbl 1277.68215）
全文： 内政部
威廉·诺滕贝尔（William J.Knottenbelt）。；Bradley，Jeremy T。

在性能建模中处理大型状态空间。 （英语） Zbl 1323.68054号

Bernardo，Marco（编辑）等人，《绩效评估的形式化方法》。2007年5月28日至6月2日，意大利贝蒂诺罗，第七所计算机、通信和软件系统正式设计方法国际学校，SFM 2007。高级讲座。柏林：施普林格出版社（ISBN 978-3-540-72482-7/pbk）。计算机科学课堂讲稿4486，318-370（2007）。
MSC公司：68平方米 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{W.J.Knottenbelt}和\textit{J.T.Bradley}，莱克特。票据计算。科学。4486、318--370（2007；Zbl 1323.68054）
全文： 内政部
艾伦·克拉克；斯蒂芬·吉尔摩；简·希尔斯顿；米尔科·特里巴斯通

随机过程代数。 （英语） Zbl 1323.68406号

Bernardo，Marco（编辑）等人，《绩效评估的形式化方法》。2007年5月28日至6月2日，意大利贝蒂诺罗，第七所计算机、通信和软件系统正式设计方法国际学校，SFM 2007。高级讲座。柏林：施普林格出版社（ISBN 978-3-540-72482-7/pbk）。计算机科学课堂讲稿4486，132-179（2007）。
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Clark}等人，Lect。票据计算。科学。4486、132--179（2007年；Zbl 1323.68406）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件