×

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

最新的 引文 关联
瓦伦蒂娜·卡斯蒂格利奥尼;米歇尔·洛雷蒂;西蒙·蒂尼

你的程序适应性和可靠性如何？ （英语） Zbl 1489.68139号

Peters，Kirstin（编辑）等人，分布式对象、组件和系统的形式化技术。第41届IFIP WG 6.1国际会议，FORTE 2021，作为第16届分布式计算技术国际联合会议的一部分，DisCoTec 2021，2021年6月14日至18日，马耳他瓦莱塔。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12719, 60-79 (2021).
MSC公司：60年第68季度 68号30 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Castiglioni}等人，Lect。票据计算。科学。12719、60-79（2021年；Zbl 1489.68139）
全文： DOI程序
拉诺特、拉格罗;西蒙·蒂尼

具有不确定性和连续状态空间的模型中的弱互模拟度量。 （英语） Zbl 1518.68233号

Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11187, 292-312 (2018).
MSC公司：68问题85 2010年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Lanotte}和\textit{S.Tini}，莱克特。票据计算。科学。11187、292--312（2018年；Zbl 1518.68233）
全文： DOI程序
拉诺特、拉格罗;马西莫·梅罗;西蒙·蒂尼

八卦场景中的弱模拟拟度量。 （英语） Zbl 1489.68163号

Bouajjani，Ahmed（编辑）等人，分布式对象、组件和系统的形式化技术。2017年6月19日至22日，作为第12届分布式计算技术国际联合会议的一部分，在瑞士诺伊查泰尔举行了第37届IFIP WG 6.1国际会议，即2017年FORTE。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10321, 139-155 (2017).
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Lanotte}等人，Lect。票据计算。科学。10321、139--155（2017；Zbl 1489.68163）
全文： DOI程序 哈尔
瓦伦蒂娜·卡斯蒂格利奥尼;丹尼尔·格布勒;西蒙·蒂尼

非确定性概率过程的模态分解。 （英语） Zbl 1392.68288号

Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学论文集59，第36条，第15页（2016）。
MSC公司：68问题85 03B45号 68问题55 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Castiglioni}等人，LIPIcs——莱布尼茨国际程序。通知。59，第36条，第15页（2016年；Zbl 1392.68288）
全文： DOI程序
丹尼尔·格布勒;西蒙·蒂尼

一致连续算子概率系统的SóS规范。 （英语） 兹比尔1374.68328

Aceto，Luca（编辑）等人，第26届并发理论国际会议，CONCUR’15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42，155-168（2015）。
MSC公司：68问题85 68问题55 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Gebler}和\textit{S.Tini}，LIPIcs——莱布尼茨国际程序。通知。42、155--168（2015年；Zbl 1374.68328）
全文： DOI程序
丹尼尔·格布勒;金·古德斯特兰·拉森;西蒙·蒂尼

基于概率过程计算的组合度量推理。 （英语） Zbl 1459.68143号

Andrew Pitts（编辑），《软件科学和计算结构基础》。第18届国际会议，FOSSACS 2015，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11-18日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。9034, 230-245 (2015).
MSC公司：68问题85 68问题55 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Gebler}等人，Lect。票据计算。科学。9034，230-245（2015；Zbl 1459.68143）
全文： DOI程序 arXiv公司
丹尼尔·格布勒;西蒙·蒂尼

概率过程组合子合成性质的定点表征。 （英语） Zbl 1464.68246号

Borgsteröm，Johannes（ed.）等人，《第21届并发表达性国际研讨会暨第11届结构操作语义研讨会论文集》，EXPRESS/SOS 2014，意大利罗马，2014年9月1日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）160，63-78（2014）。
MSC公司：68问题85 68问题55 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Gebler}和\textit{S.Tini}，电子。程序。西奥。计算。科学。（EPTCS）160，63--78（2014；Zbl 1464.68246）
全文： arXiv公司 链接
丹尼尔·格布勒;西蒙·蒂尼

概率系统近似互模拟的组成。 （英语） Zbl 1464.68245号

Borgsteröm，Johannes（ed.）等人，第20届并发表达性国际研讨会和第10届结构化操作语义研讨会，阿根廷布宜诺斯艾利斯，2013年8月26日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）120，32-46（2013）。
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Gebler}和\textit{S.Tini}，电子。程序。西奥。计算。科学。（EPTCS）120，32-46（2013；Zbl 1464.68245）
全文： arXiv公司 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

软件