Closed-loop system modeling, validation, and verification.

Sebastian Preue, Hans-Christian Lapp, Hans-Michael Hanisch

Browse the full ETFA paper archive.