search result

Cover von Software Engineering and Formal Methods
SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14568
Media group: MONOGRAPHIE
Cover von Foundations of Security Analysis and Design VI
FOSAD Tutorial Lectures
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Tutorial; 6858
Media group: MONOGRAPHIE
Cover von A Process Algebraic Approach to Software Architecture Design
Author: Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio Search for this author
Year: 2010
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Foundations of security analysis and design IV
FOSAD 2006 / 2007 tutorial lectures
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 4677
Media group: MONOGRAPHIE
Cover von Foundations of Security Analysis and Design VIII
FOSAD 2014/2015/2016 Tutorial Lectures
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Tutorial; 9808
Media group: MONOGRAPHIE
Cover von Foundations of Security Analysis and Design VII
FOSAD 2012 / 2013 Tutorial Lectures
Search for this author
Year: 2014
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Tutorial; 8604
Media group: MONOGRAPHIE
Cover von Computer Performance Engineering
7th European Performance Engineering Workshop, Bertinoro, Italy, September 23 - 24, 2010, Proceedings
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6342
Media group: MONOGRAPHIE
Cover von Foundations of Security Analysis and Design V
FOSAD 2007 / 2008 / 2009 Tutorial Lectures
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Tutorial; 5705
Media group: MONOGRAPHIE
Cover von Foundations of security analysis and design III
FOSAD 2004 / 2005 tutorial lectures
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 3655
Media group: MONOGRAPHIE
Cover von Data Privacy Management and Security Assurance
11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26 - 27, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9963
Media group: MONOGRAPHIE
OPEN V 11.1.0.0