Clara
From MaRDI portal
Software:25944
No author found.
Related Items (5)
Semantics and Algorithms for Parametric Monitoring ⋮ Verifying data- and control-oriented properties combining static and runtime verification: theory and tools ⋮ Runtime verification with minimal intrusion through parallelism ⋮ Near-optimal large-scale k-medoids clustering ⋮ Runtime Verification of Component-Based Systems
This page was built for software: Clara
