02948nam 22007575 450 991051215910332120251225175043.03-030-91014-810.1007/978-3-030-91014-3(CKB)5100000000152611(MiAaPQ)EBC6857443(Au-PeEL)EBL6857443(PPN)25938481X(BIP)82454085(BIP)81903135(DE-He213)978-3-030-91014-3(EXLCZ)99510000000015261120211201d2021 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierNetworked Systems 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings /edited by Karima Echihabi, Roland Meyer1st ed. 2021.Cham :Springer International Publishing :Imprint: Springer,2021.1 online resource (268 pages)Computer Communication Networks and Telecommunications,2945-9184 ;127543-030-91013-X Distributed Systems -- Blockchain -- Verification.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.Computer Communication Networks and Telecommunications,2945-9184 ;12754Computer networksComputer systemsComputers, Special purposeSoftware engineeringComputer engineeringComputer scienceMathematicsComputer Communication NetworksComputer System ImplementationSpecial Purpose and Application-Based SystemsSoftware EngineeringComputer Engineering and NetworksMathematics of ComputingComputer networks.Computer systems.Computers, Special purpose.Software engineering.Computer engineering.Computer scienceMathematics.Computer Communication Networks.Computer System Implementation.Special Purpose and Application-Based Systems.Software Engineering.Computer Engineering and Networks.Mathematics of Computing.004.6Echihabi KarimaMeyer RolandMiAaPQMiAaPQMiAaPQBOOK9910512159103321Networked Systems2499603UNINA