×

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

最新 引文 关联
卢卡·博托卢西;罗伯塔·兰西亚尼

定时属性的流体模型检查。 （英语） Zbl 1465.68171号

Sankaranarayanan，Sriram（编辑）等人，定时系统的形式建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268, 172-188 (2015).
MSC公司：60年第68季度 34K50美元 60K20码 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}和\textit{R.Lanciani}，莱克特。注释计算。科学。9268、172--188（2015年；Zbl 1465.68171）
全文： 内政部 arXiv公司
傅洪飞

在多锁确定性时间自动机上近似CTMC通路的接受概率。 （英语） Zbl 1362.68171号

2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。323-332 (2013).
MSC公司：60年第68季度 60J28型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Fu}，in：《第16届ACM混合系统国际会议论文集：计算与控制》，2013年HSCC，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。323--332（2013；Zbl 1362.68171）
全文： 内政部 arXiv公司
Arpit Sharma公司;Joost-Pieter卡托恩

马尔可夫链上的加权集总性。 （英语） Zbl 1336.68186号

Clarke，Edmund（编辑）等人，《系统信息学视角》。2011年6月27日至7月1日，俄罗斯新西伯利亚，第八届安德烈·埃尔肖夫国际纪念大会，PSI 2011。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-29708-3/pbk）。计算机科学课堂讲稿7162322-339（2012）。
MSC公司：68问题85 60J28型 65年第68季度 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Sharma}和\textit{J.-P.Katoen}，莱克特。注释计算。科学。7162、322--339（2012年；Zbl 1336.68186）
全文： 内政部
托马斯·布拉兹迪尔;简·克查尔;简·Křetínsk;安东·库切拉;艾哈克，沃伊特

使用时间自动机测量连续时间随机过程的性能。 （英语） Zbl 1361.68136号

2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。33-42 (2011).
MSC公司：60年第68季度 60J20型 65年第68季度 93E15型
PDF格式BibTeX公司 XML格式引用
\textit{T.Brázdil}等人，in：第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。33-42（2011；Zbl 1361.68136）
全文： 内政部
陈、陶璐;韩婷婷;Joost-Pieter卡托恩;亚历山大·梅雷克莱

根据时间自动机规范对连续时间马尔可夫链进行模型检查。 （英语） Zbl 1233.68156号

日志。方法计算。科学。 7，第1号，第12号论文，34页（2011年）.
审核人：加布里埃尔·V·奥尔曼（布拉什奥夫）
MSC公司：60年第68季度 45D05型 60J28型 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Chen}等人，Log。方法计算。科学。7，第1号，第12号论文，34页（2011年；Zbl 1233.68156）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

全部的 前3名

主字段

软件