HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Eugen Zalinescu

Publications
The MonPoly Monitoring Tool
David Basin, Felix Klaedtke and Eugen Zalinescu
In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools

Keyphrases

logic-based, MFOTL, monitoring.

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