Networked Systems: 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers
|Name of the Book:||Networked Systems: 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers|
|ISBN-10 / ISBN-13||3030055280, 9783030055288|
|Authors / Editors:||Andreas Podelski, François Taïani|
|Download Link:||Download Book|
|Download Link #1:||Download Book #1|
|Download Link #2:||Download Book Mirror #2|
|Download Link #3:||Download Book Mirror #3|
|Torrent Link #2:||Download Torrent|
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.