Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers / [electronic resource] : edited by Andreas Podelski, François Taïani. - 1st ed. 2019. - XXXIII, 412 p. 388 illus., 60 illus. in color. online resource. - Computer Communication Networks and Telecommunications, 11028 2945-9184 ; . - Computer Communication Networks and Telecommunications, 11028 .

Distribution -- Concurrency -- Verification -- Networking -- Self-stabilization -- Security -- Graph -- Middleware.

This book constitutes the thoroughly refereed conference proceedings of the 6th International Conference on Networked Systems, NETYS 2018, held in Essaouira, Morocco, in May 2018. The 22 full and 6 short papers presented together with 11 keynotes and 2 invited papers were carefully reviewed and selected from 85 submissions. They are organized in the following topics: distribution; concurrency; verification; networking; self-stabilization; security; graph; and middleware.

9783030055295

10.1007/978-3-030-05529-5 doi


Computer networks .
Software engineering.
Computer systems.
Logic design.
Microprogramming .
Computer input-output equipment.
Computer Communication Networks.
Software Engineering.
Computer System Implementation.
Logic Design.
Control Structures and Microprogramming.
Input/Output and Data Communications.

TK5105.5-5105.9

004.6