書(shū)目名稱 | Networked Systems |
副標(biāo)題 | 6th International Co |
編輯 | Andreas Podelski,Fran?ois Ta?ani |
視頻video | http://file.papertrans.cn/663/662956/662956.mp4 |
叢書(shū)名稱 | Lecture Notes in Computer Science |
圖書(shū)封面 |  |
描述 | .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.. |
出版日期 | Conference proceedings 2019 |
關(guān)鍵詞 | distributed algorithms; distributed omputer systems; verification; security; middleware; self-stabilizati |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-030-05529-5 |
isbn_softcover | 978-3-030-05528-8 |
isbn_ebook | 978-3-030-05529-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer Nature Switzerland AG 2019 |