Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks

Openings

Research @ COMSYS

Research Groups

Research Overview

Publications

Year:

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, Ö

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

Export as:

- Impressum | Datenschutz -