Clara
From MaRDI portal
Software:25944
swMATH14035MaRDI QIDQ25944FDOQ25944
Author name not available (Why is that?)
Cited In (5)
- Runtime Verification of Component-Based Systems
- Runtime verification with minimal intrusion through parallelism
- Semantics and algorithms for parametric monitoring
- Near-optimal large-scale k-medoids clustering
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
This page was built for software: Clara
