Networked Systems [electronic resource] : 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers / edited by Andreas Podelski, François Taïani.
Contributor(s): Podelski, Andreas [editor.]
| Taïani, François [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Computer Communication Networks and Telecommunications: 11028Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Edition: 1st ed. 2019.Description: XXXIII, 412 p. 388 illus., 60 illus. in color. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783030055295.Subject(s): 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 CommunicationsAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 004.6 Online resources: Click here to access online 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.
There are no comments for this item.