This book constitutes the revised selected papers of the 7th International Conference on Networked Systems, NETYS 2019, held in Marrakech, Morocco, in June 2019. The 23 revised full papers and 3 short papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in the following topics: formal verification, distributed systems, security, concurrency, and networks.
Mohamed Faouzi Atig
artificial intelligence authentication cryptography data security databases distributed algorithm distributed computer systems graph theory microprocessor chips model checking multi core network security parallel algorithms parallel processing systems parallel programming