Publication year: 2020
ISBN: 978-3-030-50086-3
Internet Resource: Please Login to download book
This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020.*
Subject: computer science, architecture verification and validation, artificial intelligence, computer security, correlation analysis, databases, distributed computer systems, distributed systems, embedded systems, formal logic, model checking, network protocols, software architecture, software design, software engineering, verification