Lecture „Automated Generation of System-Level AMS Operating Condition Checks: Your Model's Insurance Policy“
Georg Gläser1, Martin Grabmann1, Gerrit Kropp1 and Andreas Fürtig2
1IMMS Institut für Mikroelektronik- und Mechatronik-Systeme gemeinnützige GmbH 2Institute for Computer Science, Goethe Universität Frankfurt a. M., Germany
Lecture „Comparing Apples and Oranges: Evaluating Model-Coverage using Acceptance Regions“
Martin Grabmann1, Georg Gläser1