1 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Ramy Medhat, Yogi Joshi, Borzoo Bonakdarpour +1
Runtime verification is an effective automated method for specification-based offline testing and analysis as well as online monitoring of complex systems. The specification langua…