22 citations · 27 across the 9 of their papers we have counts for
1 paper · 1 filter
Chandrakana Nandi, Aurelien Monot, Manuel Oriol
This paper introduces a new technique for dynamic verification of component-based real-time systems based on statistical inference. Verifying such systems requires checking two typ…