×

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

最新的 引文 关联
杰里米·斯普洛斯顿

具有时钟相关概率的概率时间自动机。 （英语） Zbl 1478.68135号

Hague，Matthew（编辑）等人，《可达性问题》。2017年9月7日至9日在英国伦敦举行的2017年RP第11届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10506, 144-159 (2017).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.斯普洛斯顿}，莱克特。注释计算。科学。10506、144--159（2017；Zbl 1478.68135）
全文： 内政部 arXiv公司
杰里米·斯普洛斯顿

概率矩形混合自动机的验证与控制。 （英语） Zbl 1465.68183号

Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268, 1-9 (2015).
MSC公司：60年第68季度 65年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{J.斯普洛斯顿}，莱克特。注释计算。科学。9268，1-9（2015；Zbl 1465.68183）
全文： 内政部 链接
杰里米·斯普洛斯顿

概率时间自动机的严格发散性。 （英语） Zbl 1254.68137号

Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710，620-636（2009）。
MSC公司：65年第68季度 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.斯普洛斯顿}，莱克特。注释计算。科学。5710、620--636（2009年；Zbl 1254.68137）
全文： 内政部
马尔金·尤尔金斯基；杰里米·斯普洛斯顿；弗朗索瓦·拉鲁西尼

具有一个或两个时钟的概率时间自动机的模型检查。 （英语） Zbl 1147.68574号

日志。方法计算。科学。 4，第3期，论文12，28页（2008年）.
MSC公司：60年第68季度 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Jurdzinski}等人，日志。方法计算。科学。4，第3号，论文12，28页（2008年；Zbl 1147.68574）
全文： 内政部
马尔钦·尤尔季安斯基；弗朗索瓦·拉鲁西尼；杰里米·斯普洛斯顿

一个或两个时钟的概率时间自动机模型检验。 （英语） Zbl 1186.68295号

Grumberg，Orna（编辑）等人，《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007，是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71208-4/pbk）。计算机科学课堂讲稿4424170-184（2007）。
MSC公司：60年第68季度 2017年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Jurdziñski}等人，莱克特。注释计算。科学。4424170-184（2007年；兹比尔1186.68295）
全文： 内政部
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；杰里米·斯普洛斯顿；王富之

概率时间自动机的符号模型检验。 （英语） Zbl 1109.68517号

Lakhnech，Yassine（编辑）等人，《定时和容错系统的形式化技术、建模和分析》。2004年9月22日至24日在法国格勒诺布尔举行的关于时间系统的正式建模和分析、FORMATS 2004以及实时和容错系统中的正式技术的联合国际会议，FTRTFT 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23167-6/pbk）。计算机科学课堂讲稿3253293-308（2004）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。3253、293--308（2004年；Zbl 1109.68517）
全文： 内政部
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；罗伯特·塞加拉；杰里米·斯普洛斯顿

验证连续概率时间自动机的定量性质。 （英语） Zbl 0999.68125号

Palamidessi，Catuscia（编辑），CONCUR 2000-并发理论。2000年8月22日至25日，第11届国际会议，美国宾夕法尼亚州大学公园。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1877, 123-137 (2000).
MSC公司：60年第68季度 68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。1877，123-137（2000；Zbl 0999.68125）
杰里米·斯普洛斯顿

概率混合自动机的可判定模型检验。 （英语） Zbl 0986.68058号

Joseph，Mathai（编辑），实时和容错系统中的形式化技术。第六届国际研讨会，2000年FTRTFT，2000年9月20日至22日，印度浦那。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1926, 31-45 (2000).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.斯普洛斯顿}，莱克特。注释计算。科学。1926年，31-45年（2000年；Zbl 0986.68058）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件