Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2015DANA - behavioral verification of automotive infotainment software-interfaces
Drabek, Christian
Presentation
2015Reducing the verification effort for interfaces of automotive infotainment software
Drabek, Christian; Paulic, Annette; Weiß, Gereon
Report
2013A distributed stream-processing infrastructure for computational models
Riedel, Felix; Watson, Kym
Conference Paper
2013Interface verification using executable reference models: An application in the automotive infotainment
Drabek, Christian; Pramsohler, Thomas; Zeller, Marc; Weiß, Gereon
Conference Paper