swMATH14035MaRDI QIDQ25944FDOQ25944
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007/978-3-642-16612-9_15
Cited In (13)
- Runtime verification with minimal intrusion through parallelism
- Semantics and algorithms for parametric monitoring
- TaskChecker
- SingleTrack
- Fugue
- Java-MOP
- MarQ
- StaRVOOrS
- J-LO
- IncA
- Near-optimal large-scale k-medoids clustering
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
- Runtime verification of component-based systems
This page was built for software: Clara
