Liu, StevenLiggesmeyer, PeterJolianis Acero, Jahir JuliánJahir JuliánJolianis Acero2022-03-072022-03-072010https://publica.fraunhofer.de/handle/publica/278676en004005006Model-based testing of embedded hybrid systems with application to ACC (Adaptive Cruise Control)Modellbasiertes Testen eingebetteter hybrider Systeme am Beispiel ACC (Adaptive Cruise Control)master thesis