Browsing by Document Type "Conference Paper"
Now showing items 1-2 of 2
(IEEE, 2016)Network coded cooperative (NCC) systems have recently attracted attention with their high spectral and power efficiency. In this paper, we investigate the information theoretical limits of NCC systems in the presence of ...
(The ACM Digital Library, 2017)Runtime verification techniques verify dynamic system behavior with respect to a set of specifications. These specifications are often created manually based on system requirements and constraints. In this paper, we introduce ...
Share this page