This book constitutes the revised selected papers of the 9th International Conference on Networked Systems, NETYS 2021, held virtually in May 2021.The 15 revised full papers and 2 short papers presented were carefully reviewed and selected from 32 submissions. The papers are organized in the following thematic blocks: distributed systems, blockchain, and verification.
Karima Echihabi
architecture verification and validation artificial intelligence computer hardware computer networks computer security computer systems cryptography databases distributed computer systems distributed systems engineering formal logic network protocols parallel processing systems sensors