Alberto Lluch Lafuente
Identifiers
- Open LibraryOL7914914A
Top Subjects
- Computer security (1)
- Computer software, validation (1)
- Computer networks, security measures (1)
- Computer software, verification (1)
- Computer programming (1)
- Electronic data processing, distributed processing (1)
Books by Alberto Lluch Lafuente
Total count: 4
-
Internet e Web 2.0Utet Università2011-01-01
-
Trustworthy Global Computing8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected PapersSpringer London, Limited2014-01-01
-
Coordination Models and Languages18th IFIP WG 6. 1 International Conference, COORDINATION 2016, Held As Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, ProceeedingsSpringer International Publishing AG2016-01-01
-
Formal Methods for Industrial Critical Systems26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, ProceedingsSpringer International Publishing AG2021-01-01