Networked Systems 9th International Conference, NETYS 2021, Virtual Event, May 19-21, 2021, Proceedings / [electronic resource] :
edited by Karima Echihabi, Roland Meyer.
- 1st ed. 2021.
- X, 261 p. 91 illus., 70 illus. in color. online resource.
- Computer Communication Networks and Telecommunications, 12754 2945-9184 ; .
- Computer Communication Networks and Telecommunications, 12754 .
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.
9783030910143
10.1007/978-3-030-91014-3 doi
Computer networks .
Computer systems.
Computers, Special purpose.
Software engineering.
Computer engineering.
Computer science--Mathematics.
Computer Communication Networks.
Computer System Implementation.
Special Purpose and Application-Based Systems.
Software Engineering.
Computer Engineering and Networks.
Mathematics of Computing.
TK5105.5-5105.9
004.6
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.
9783030910143
10.1007/978-3-030-91014-3 doi
Computer networks .
Computer systems.
Computers, Special purpose.
Software engineering.
Computer engineering.
Computer science--Mathematics.
Computer Communication Networks.
Computer System Implementation.
Special Purpose and Application-Based Systems.
Software Engineering.
Computer Engineering and Networks.
Mathematics of Computing.
TK5105.5-5105.9
004.6