Networked Systems : 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers / / edited by Andreas Podelski, François Taïani

• Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
• Edizione: 1st ed. 2019.
• Descrizione fisica: 1 online resource (XXXIII, 412 p. 388 illus., 60 illus. in color.)
• Disciplina: 004.6
• Soggetto topico: Computer communication systems; Software engineering; Architecture, Computer; Logic design; Microprogramming ; Input-output equipment (Computers); Computer Communication Networks; Software Engineering/Programming and Operating Systems; Computer System Implementation; Logic Design; Control Structures and Microprogramming; Input/Output and Data Communications
• Persona (resp. second.): PodelskiAndreas; TaïaniFrançois
• Nota di contenuto: Distribution -- Concurrency -- Verification -- Networking -- Self-stabilization -- Security -- Graph -- Middleware.
• Sommario/riassunto: 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.
• Titolo autorizzato: Networked Systems
• ISBN: 3-030-05529-9
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910337571403321
• Lo trovi qui: Univ. Federico II
• Serie: Computer Communication Networks and Telecommunications ; ; 11028