Start Over
You searched for: author_facet Aldini, Alessandro

Search Results

Cover image for Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Location
Access Content Online
Cover image for Data Privacy Management, and Security Assurance 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers

Data Privacy Management, and Security Assurance 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers

Location
Access Content Online
Cover image for 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

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

Location
Access Content Online
Cover image for Foundations of Security Analysis and Design VIII FOSAD 2014/2015/2016 Tutorial Lectures

Foundations of Security Analysis and Design VIII FOSAD 2014/2015/2016 Tutorial Lectures

Location
Access Content Online
Cover image for User-Centric Networking Future Perspectives

User-Centric Networking Future Perspectives

Location
Access Content Online
Cover image for Foundations of Security Analysis and Design VII FOSAD 2012/2013 Tutorial Lectures

Foundations of Security Analysis and Design VII FOSAD 2012/2013 Tutorial Lectures

Location
Access Content Online
Cover image for Formal methods for quantitative aspects of programming languages

Formal methods for quantitative aspects of programming languages

Location
Access Content Online
Cover image for Computer performance engineering

Computer performance engineering

Location
Access Content Online
Cover image for A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Location
Access Content Online
Cover image for Foundations of security analysis and design V

Foundations of security analysis and design V

  • 2009
  • Format: Electronic
Location
Access Content Online