HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Johann Schumann

Publications
R2U2: Tool Overview
Kristin Yvonne Rozier and Johann Schumann
In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools

Keyphrases

cyber-physical system verification, hardware verification, runtime verification, System Health Management, temporal logic.

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