×

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

最新的 引文 关联
彼得·格约尔·詹森;安德烈·基维里加;金·古德斯特兰·拉森;乌尔里克·尼曼;阿德里亚娜·米亚契卡;杰佩·Höiris Mortensen

蒙特卡罗树搜索定价时间自动机。 （英语） Zbl 1522.68273号

布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13479, 381-398 (2022).
MSC公司：65年第68季度 68T20型 90B35型
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Jensen}等人，Lect。注释计算。科学。13479，381--398（2022；Zbl 1522.68273）
全文： DOI程序 链接
朱雪阳;颜荣杰;顾、于磊;张健;张文辉;张广全

带模型检查的同步数据流图静态优化调度。 （英语） Zbl 1427.68177号

Björner，Nikolaj（编辑）等人，FM 2015：形式方法。第20届国际研讨会，挪威奥斯陆，2015年6月24-26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9109, 551-569 (2015).
MSC公司：60年第68季度 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{X.-Y.Zhu}等人，Lect。注释计算。科学。9109551--569（2015；Zbl 1427.68177）
全文： DOI程序
Changil Choe公司;安·尤尼万;韩松

检查积分实时自动机的扩展线性持续时间不变量。 （英语） Zbl 1328.68125号

Artho，Cyrille（编辑）等人，《安全关键系统的形式化技术》。第三次国际研讨会，FTSCS 2014，卢森堡，2014年11月6-7日。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-17580-5/pbk；978-3-316-17581-2/电子书）。《计算机与信息科学通信》476，62-75（2015）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Choe}等人，Commun。计算。信息科学。476、62-75（2015年；Zbl 1328.68125）
全文： DOI程序
拉杰什·库马尔;埃诺·鲁伊特斯;玛丽·斯托琳加

通过定价时间自动机进行定量攻击树分析。 （英语） Zbl 1465.68034号

Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268, 156-171 (2015).
MSC公司：68平方米25 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Kumar}等人，Lect。注释计算。科学。9268、156--171（2015；Zbl 1465.68034）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件