×

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

最新的 引文 关联
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克

线性定价概率时间自动机的符号验证和策略综合。 （英文） Zbl 1431.68066号

Aceto，Luca（编辑）等人，《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。10460, 289-309 (2017).
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。10460289--309（2017年；Zbl 1431.68066）
全文： 内政部 链接
格钦·诺曼;大卫·帕克;邹学毅

部分可观测概率实时系统的验证和控制。 （英文） Zbl 1465.68182号

Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268, 240-255 (2015).
MSC公司：60年第68季度 68平方米 68平方米25 65年第68季度 93C83号
PDF格式BibTeX公司 XML格式引用
\textit{G.Norman}等人，Lect。注释计算。科学。9268、240-255（2015年；Zbl 1465.68182）
全文： 内政部 arXiv公司
Forejt、VojtŞch;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;曲洪阳

概率系统的定量多目标验证。 （英文） Zbl 1315.68177号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605112-127（2011）。
MSC公司：60年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Forejt}等人，Lect。注释计算。科学。6605112-127（2011年；Zbl 1315.68177）
全文： 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;曲洪阳

概率系统的假设保证验证。 （英文） Zbl 1284.68406号

Esparza，Javier（编辑）等人，《系统构建和分析的工具和算法》。2010年3月20日至28日在塞浦路斯帕福斯举行的第16届国际会议（TACAS 2010）是欧洲软件理论与实践联合会议（ETAPS 2010）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-12001-5/pbk）。计算机科学课堂讲稿6015，23-37（2010）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。6015、23-37（2010年；Zbl 1284.68406）
全文： 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿;王富之

概率时间自动机的符号模型检验。 （英文） 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）

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件