DMCA

Algorithms for monitoring real-time properties (2012)

by David Basin , Felix Klaedtke
Venue:In Proceedings of the 2nd International Conference on Runtime Verification, volume 7186 of LNCS
Citations:12 - 4 self