Home
Team
Teaching
Research
Contact
Openings
Available Theses
HiWi Calls
PhD and PostDoc Positions
Research @ COMSYS
Research Vision
Publications
Books
Technical Reports
Projects
Past Projects
Research Groups
Cyber-Physical Systems
Network Architectures
Security and Privacy
Systems Analysis
Research Overview
Industrial Internet of Things
Internet Measurements
Medical Data (Privacy)
Publications
Year:
All
::
2016
All
2016
Author:
All
::
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
Ö
,
P
,
Q
,
R
,
S
,
T
,
U
,
V
,
W
,
X
,
Y
,
Z
All
::
Jaeger
, ... ,
Josevski
,
Jost
,
Jukić
,
Junges
J*
Jaeger
Jakobs
Jankowski
Jansen
Jarke
Jauhari
Jelten
Jerlang
Jeschke
Jokela
Jonas
Joseph
Josevski
Jost
Jukić
Junges
1.
Christian Dombrowski
,
Sebastian Junges
,
Joost-Pieter Katoen
, and
James Gross
Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks
Proc. of IEEE 35th Symposium on Reliable Distributed Systems, page 307--316.
IEEE
September 2016
DOI:
10.1109/SRDS.2016.048
http://ieeexplore.ieee.org/document/7794360/
Export as:
BibTeX
,
XML
-
Impressum
|
Datenschutz
-