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

登录注册

全文

	有本地全文	6篇
	有全文链接	4篇

出版年度

	2019	2篇
	2014	1篇
	2012	2篇
	2011	1篇
	2007	1篇

	2006	2篇
	2001	1篇

作者

	Stephan Merz	10篇
	Leon van der Torre	2篇
	Pierre Wolper	2篇
	Reinhard Wilhelm	2篇
	Serge Autexier	2篇

	Abdelkader Lahmadi	1篇
	Cristian Daniel Rosa	1篇
	Cyril Cohen	1篇
	Dominique Cansell	1篇
	Dominique Mery	1篇
	Dominique Méry	1篇
	Gerald Lüttgen	1篇
	Hernán Vanzetto	1篇
	Jean-Jacques Lvy	1篇
	Jingshu Chen	1篇
	Laurent Thry	1篇
	Marie Duflot	1篇
	Martin Quinson	1篇
	Nicolas Schnepf	1篇
	Ran Chen	1篇
	Remi Badonnel	1篇

文章类型

Research Article

4篇

来源期刊

	Electronic Communications of the EASST	5篇
	Journal of Universal Computer Science	2篇
	OASIcs : OpenAccess Series in Informatics	2篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇

学科主题

计算技术、计算机技术

10篇

语种

英文

10篇

国别/地区

	德国	8篇
	奥地利	2篇

检索条件:"( ( 高级检索(( ((AU:(("Stephan Merz")))) )) ) )"

共 10 条记录

排序：全选导出：

1.Harnessing SMT Solvers for TLA+ Proofs

作　　者：Stephan Merz ;Hernán Vanzetto

出　　处：Electronic Communications of the EASST. 2012 ;53.

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

文章 ID：100465510

文章详细全文下载
2.Analyzing Conflict Freedom for Multi-threaded Programs With Time Annotations

作　　者：Jingshu Chen ;Marie Duflot ;Stephan Merz

出　　处：Electronic Communications of the EASST. 2014 ;70.

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

文章 ID：100465853

文章详细全文下载
3.Preface

作　　者：Gerald Lüttgen ;Stephan Merz

出　　处：Electronic Communications of the EASST. 2012 ;53.

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

文章 ID：100466001

文章详细全文下载
4.Formal Proofs of Tarjan's Strongly Connected Components Algorithm in Why3, Coq and Isabelle

作　　者：Ran Chen ;Cyril Cohen ;Jean-Jacques Lvy 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;141:1-19.doi:10.4230/LIPIcs.ITP.2019.13

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

文章 ID：240116670

文章详细全文下载
5.Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks

作　　者：Nicolas Schnepf ;Remi Badonnel ;Abdelkader Lahmadi 等

出　　处：Electronic Communications of the EASST. 2019 ;76:1-20.doi:10.14279/tuj.eceasst.76.1075

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

文章 ID：233877355

文章详细全文下载
6.A Simple Model of Communication APIs – Application to Dynamic Partial-order Reduction

作　　者：Cristian Daniel Rosa ;Stephan Merz ;Martin Quinson

出　　处：Electronic Communications of the EASST. 2011 ;35.

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

文章 ID：185437824

文章详细全文下载
7.Preface -- Workshop Trustworthy Software 2006

作　　者：Serge Autexier ;Stephan Merz ;Leon van der Torre 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2006 ;3.doi:10.4230/OASIcs.TrustworthySW.2006.693

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

文章 ID：186848171

文章详细
8.Abstracts Collection -- Workshop Trustworthy Software 2006

作　　者：Serge Autexier ;Stephan Merz ;Leon van der Torre 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2006 ;3.doi:10.4230/OASIcs.TrustworthySW.2006.758

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

文章 ID：186848172

文章详细
9.Specification and Refinement of Access Control

作　　者：Dominique Méry ;Stephan Merz

出　　处：Journal of Universal Computer Science. 2007 ;13(8):1073-1093.

出版社：Graz University of Technology and Know-Center

文章 ID：186874017

文章详细
10.Diagram Refinements for the Design of Reactive Systems

作　　者：Dominique Cansell ;Dominique Mery ;Stephan Merz

出　　处：Journal of Universal Computer Science. 2001 ;7(2):159-174.

出版社：Graz University of Technology and Know-Center

文章 ID：186875792

文章详细

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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