首页期刊浏览 2024年11月26日星期二

登录注册

全文

	有本地全文	2篇
	有全文链接	1篇

出版年度

	2022	1篇
	2014	1篇
	2013	1篇

作者

	Gustavo Betarte	3篇
	Juan Diego Campo	2篇
	Andrea Delgado	1篇
	Bárbara Muracciole	1篇
	Carlos Daniel Luna	1篇

	Carlos Luna	1篇
	Ezequiel Bazan Eixarch	1篇
	Gilles Barthe	1篇
	Jes{\'u}s Mauricio Chimento	1篇
	Laura González	1篇
	Rodrigo Martínez	1篇
	Álvaro Martín	1篇

文章类型

Research Article

1篇

来源期刊

	CLEI Electronic Journal	1篇
	Electronic Communications of the EASST	1篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇

学科主题

	计算技术、计算机技术	2篇
	图书馆学	1篇
	情报学	1篇

语种

英文

3篇

国别/地区

	德国	2篇
	智利	1篇

检索条件:"( ( 高级检索(( ((AU:(("Gustavo Betarte")))) )) ) )"

共 3 条记录

排序：全选导出：

1.Formally Verified Implementation of an Idealized Model of Virtualization

作　　者：Gilles Barthe ;Gustavo Betarte ;Juan Diego Campo 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;26:45-63.doi:10.4230/LIPIcs.TYPES.2013.45

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846497

文章详细全文下载
2.A Formal Specification of the DNSSEC Model

作　　者：Ezequiel Bazan Eixarch ;Gustavo Betarte ;Carlos Daniel Luna

出　　处：Electronic Communications of the EASST. 2013 ;48.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：185431297

文章详细全文下载
3.Contact tracing solutions for COVID-19: applications, data privacy and security

作　　者：Gustavo Betarte ;Juan Diego Campo ;Andrea Delgado 等

出　　处：CLEI Electronic Journal. 2022 ;25(2).doi:10.19153/cleiej.25.2.4

出版社：Centro Latinoamericano de Estudios en Informática

文章 ID：1037837614

文章详细

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有