Normal view MARC view ISBD view

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.

ISBN: 9783030055295

Standard No.: 10.1007/978-3-030-05529-5 doi

Subjects--Topical Terms:
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.

LC Class. No.: TK5105.5-5105.9

Dewey Class. No.: 004.6