A
Alessandro Aldini
12 works on record
Works
A process algebraic approach to software architecture design
Foundations of Security Analysis and Design VI
Foundations of Security Analysis and Design V
Foundations of Security Analysis and Design III
Data Privacy Management, and Security Assurance
User-Centric Networking
Foundations of Security Analysis and Design VIII
Formal Methods for Quantitative Aspects of Programming Languages
Formal Methods for Quantitative Aspects of Programming Languages
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance
Computer Performance Engineering
Computer Performance Engineering
Foundations of Security Analysis and Design VII
Foundations of Security Analysis and Design VII
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops