Probabilistische Methode zur Generierung von Stimuli zum Test zustandsbasierter, reaktiver Elektroniksysteme im AutomobilFrank DiegmüllerAgotadoNotifícame
