Markus Braun
Steigerung der Effizienz simulationsbasierter Verifikation durch Einsatz von testüberdeckungsgeführter Simulation