Keyword:Networked applications

Publications
DANA – Description and Analysis of Networked Applications Christian Drabek and Gereon Weiss In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools