語系
Lluch Lafuente, Alberto.
概要
作品: | 1 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Trustworthy global computing = 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers /
by:
Abadi, Martin.; Lluch Lafuente, Alberto.; SpringerLink (Online service)
(書目-電子資源)
Coordination models and languages = 18th 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 : proceedings /
by:
Lluch Lafuente, Alberto.; Proenca, Jose.; SpringerLink (Online service)
(書目-電子資源)
Formal methods for industrial critical systems = 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings /
by:
International Workshop on Formal Methods for Industrial Critical Systems (2021 :); Lluch Lafuente, Alberto.; Mavridou, Anastasia.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Theory of Computation.
Computer software- Validation
Software architecture
Logics and Meanings of Programs.
Computer programs- Reliability
Information Systems Applications (incl. Internet)
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Computer programming
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Computer networks- Security measures
Computer security
Electronic data processing- Distributed processing
Artificial Intelligence.
Computer software- Verification
Computer Science.
Systems and Data Security.
Computer Systems Organization and Communication Networks.
Computer software- Reliability
Computer programs- Verification