HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Christian Drabek

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

Keyphrases

layered reference model, Networked applications, resumption, runtime verification, software interface behavior.

Copyright © 2012-2025 easychair.org. All rights reserved.