Alessandro Aldini

· 12 obras en el catálogo

Obras

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

FFormal Methods for Quantitative Aspects of Programming Langu

Formal Methods for Quantitative Aspects of Programming Languages

DData Privacy Management, Autonomous Spontaneous Security, an

Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance

CComputer Performance Engineering

Computer Performance Engineering

FFoundations of Security Analysis and Design VII

Foundations of Security Analysis and Design VII

SSoftware Engineering and Formal Methods. SEFM 2023 Collocate

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops