IEEE - Institute of Electrical and Electronics Engineers, Inc. - Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks

2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS)

Author(s): Christian Dombrowski ; Sebastian Junges ; Joost-Pieter Katoen ; James Gross
Sponsor(s): IEEE Comput. Soc.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 September 2016
Conference Location: Budapest, Hungary
Conference Date: 26 September 2016
Page(s): 307 - 316
ISBN (Electronic): 978-1-5090-3513-7
ISSN (Electronic): 1060-9857
DOI: 10.1109/SRDS.2016.048
Regular:

Recently, the wireless networking community is getting more and more interested in novel protocol designs for safety-critical applications. These new applications come with unprecedented latency... View More

Advertisement