Foundations of Security Analysis and Design V More Books by Alessandro Aldini, Gilles Barthe & Roberto Gorrieri

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
2024
Data Privacy Management and Security Assurance Data Privacy Management and Security Assurance
Data Privacy Management and Security Assurance
2016
Foundations of Security Analysis and Design VIII Foundations of Security Analysis and Design VIII
Foundations of Security Analysis and Design VIII
2016
Data Privacy Management, and Security Assurance Data Privacy Management, and Security Assurance
Data Privacy Management, and Security Assurance
2016
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance
2015
User-Centric Networking User-Centric Networking
User-Centric Networking
2014
Foundations of Security Analysis and Design VI Foundations of Security Analysis and Design VI
Foundations of Security Analysis and Design VI
2011
Foundations of Security Analysis and Design IV Foundations of Security Analysis and Design IV
Foundations of Security Analysis and Design IV
2007
Computer Performance Engineering Computer Performance Engineering
Computer Performance Engineering
2010
A Process Algebraic Approach to Software Architecture Design A Process Algebraic Approach to Software Architecture Design
A Process Algebraic Approach to Software Architecture Design
2010