1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Mike Becker, Roland Meyer, Tobias Runge +3
Intensive testing using model-based approaches is the standard way of demonstrating the correctness of automotive software. Unfortunately, state-of-the-art techniques leave a cruci…