Back to Search
Start Over
Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers
- Source :
- Andreas Podelski and François Taïani. 11028, Springer, 2019, Lecture Notes in Computer Science, 978-3-030-05528-8. ⟨10.1007/978-3-030-05529-5⟩, Andreas Podelski and François Taïani. Springer, 11028, 2019, Lecture Notes in Computer Science, 978-3-030-05528-8. ⟨10.1007/978-3-030-05529-5⟩, Lecture Notes in Computer Science ISBN: 9783030055288
- Publication Year :
- 2019
- Publisher :
- HAL CCSD, 2019.
-
Abstract
- Distribution -- Concurrency -- Verification -- Networking -- Self-stabilization -- Security -- Graph -- Middleware.
- Subjects :
- Distribution (number theory)
Computer science
Concurrency
Distributed computing
Data transmission systems
Logic synthesis
Microcode
Middleware
Computer Science::Programming Languages
Graph (abstract data type)
[INFO]Computer Science [cs]
Computer Science::Operating Systems
Computer communication networks
Computer Science::Distributed, Parallel, and Cluster Computing
ComputingMilieux_MISCELLANEOUS
Computer Science::Cryptography and Security
Subjects
Details
- Language :
- English
- ISBN :
- 978-3-030-05528-8
- ISBNs :
- 9783030055288
- Database :
- OpenAIRE
- Journal :
- Andreas Podelski and François Taïani. 11028, Springer, 2019, Lecture Notes in Computer Science, 978-3-030-05528-8. ⟨10.1007/978-3-030-05529-5⟩, Andreas Podelski and François Taïani. Springer, 11028, 2019, Lecture Notes in Computer Science, 978-3-030-05528-8. ⟨10.1007/978-3-030-05529-5⟩, Lecture Notes in Computer Science ISBN: 9783030055288
- Accession number :
- edsair.doi.dedup.....26d779e78457707d58f70bc590bc4691