Languages
Aldini, Alessandro.
Overview
| Works: | 23 works in 4 publications in 1 languages | |
|---|---|---|
Titles
User-centric networking = future perspectives /
by:
Bogliolo, Alessandro.; SpringerLink (Online service); Aldini, Alessandro.
(Electronic resources)
Foundations of security analysis and design VII = FOSAD 2012/2013 tutorial lectures /
by:
Aldini, Alessandro.; Lopez, Javier.; Martinelli, Fabio.; SpringerLink (Online service)
(Electronic resources)
Foundations of Security Analysis and Design III : = FOSAD 2004/2005 Tutorial Lectures
by:
Aldini, Alessandro.; Gorrieri, Roberto.; Martinelli, Fabio.; SpringerLink (Online service)
(Language materials, printed)
Foundations of security analysis and design VIII = FOSAD 2014/2015/2016 tutorial lectures /
by:
Aldini, Alessandro.; Lopez, Javier.; Martinelli, Fabio.; SpringerLink (Online service)
(Electronic resources)
Formal methods for quantitative aspects of programming languages = 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures /
by:
Aldini, Alessandro.; SpringerLink (Online service); International School on Formal Methods for the Design of Computer, Communication, and Software Systems (2010 :)
(Language materials, printed)
Software engineering and formal methods = SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023 : revised selected papers /
by:
International Workshop on Software Engineering and Formal Methods (2023 :); Aldini, Alessandro.; SpringerLink (Online service)
(Electronic resources)
Computer performance engineering = 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceedings /
by:
Aldini, Alessandro.; SpringerLink (Online service)
(Language materials, printed)
A process algebraic approach to software architecture design
by:
Bernardo, Marco.; Corradini, Flavio.; SpringerLink (Online service); Aldini, Alessandro.
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Communications Engineering, Networks.
Theory of Computation.
Software engineering
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Stochastic models
Home computer networks.
R & D/Technology Policy.
Data protection
Management of Computing and Information Systems.
Operating Systems.
Antibodies.
Software architecture.
Programming Techniques.
Complexity.
Information Systems Applications (incl. Internet)
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Programming languages (Electronic computers)
Computer networks- Security measures
Computer security
Data Encryption.
Information Systems Applications (incl.Internet)
Wireless communication systems.
Computer Science.
Computer Communication Networks.
System Performance and Evaluation.
Customer services.
Computer Systems Organization and Communication Networks.
Systems and Data Security.
Computers and Society.
Computer System Implementation.
Computer systems- Evaluation