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
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