首页期刊浏览 2024年11月30日星期六

登录注册

全文

有本地全文

3篇

出版年度

	2019	1篇
	2012	2篇

作者

	Marcus Völp	3篇
	Hendrik Tews	2篇
	Ahmad-Reza Sadeghi	1篇
	Andreas Steininger	1篇
	Andrew Paverd	1篇

	Benjamin Engel	1篇
	Christel Baier	1篇
	Ferdinand Brasser	1篇
	Hermann Härtig	1篇
	Joachim Klein	1篇
	Marcus Daum	1篇
	Matthias Schunter	1篇
	N. Asokan	1篇
	Paulo Esteves-Ver{\'\i}ssimo	1篇
	Sascha Klüppelholz	1篇
	Steffen Märcker	1篇
	Thorsten Holz	1篇
	Tjark Weber	1篇

来源期刊

	Electronic Proceedings in Theoretical Computer Science	2篇
	OASIcs : OpenAccess Series in Informatics	1篇

学科主题

计算技术、计算机技术

3篇

语种

英文

3篇

国别/地区

	澳大利亚	2篇
	德国	1篇

检索条件:"( ( 高级检索(( ((AU:(("Marcus Völp")))) )) ) )"

共 3 条记录

排序：全选导出：

1.On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code

作　　者：Hendrik Tews ;Marcus Völp ;Tjark Weber

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;102:73-87.doi:10.4204/EPTCS.102.8

出版社：Open Publishing Association

文章 ID：83120648

文章详细全文下载
2.Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code

作　　者：Christel Baier ;Marcus Daum ;Benjamin Engel 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;102:156-166.doi:10.4204/EPTCS.102.14

出版社：Open Publishing Association

文章 ID：83120654

文章详细全文下载
3.Sustainable Security & Safety: Challenges and Opportunities

作　　者：Andrew Paverd ;Marcus Völp ;Ferdinand Brasser 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2019 ;73:1-13.doi:10.4230/OASIcs.CERTS.2019.4

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

文章 ID：238892452

文章详细全文下载

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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