Measurement-based Online Verification of Timing Properties in Distributed Systems

Günter Ehmen, Björn Koopmann, Yosab Bebawy, Philipp Ittershagen. Measurement-based Online Verification of Timing Properties in Distributed Systems. In 2020 International Conference on Omni-layer Intelligent Systems, COINS 2020, Barcelona, Spain, August 31 - September 2, 2020. pages 1-6, IEEE, 2020. [doi]

Abstract

Abstract is missing.