Networked Systems 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers /
This book constitutes the revised selected papers of the 7th International Conference on Networked Systems, NETYS 2019, held in Marrakech, Morocco, in June 2019. The 23 revised full papers and 3 short papers presented were carefully reviewed and selected from 60 submissions. The papers are organized...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2019.
|
| Έκδοση: | 1st ed. 2019. |
| Σειρά: | Computer Communication Networks and Telecommunications ;
11704 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
| Περίληψη: | This book constitutes the revised selected papers of the 7th International Conference on Networked Systems, NETYS 2019, held in Marrakech, Morocco, in June 2019. The 23 revised full papers and 3 short papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in the following topics: formal verification, distributed systems, security, concurrency, and networks. |
|---|---|
| Φυσική περιγραφή: | XIX, 388 p. 303 illus., 79 illus. in color. online resource. |
| ISBN: | 9783030312770 |
| DOI: | 10.1007/978-3-030-31277-0 |