Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2015DANA - behavioral verification of automotive infotainment software-interfaces
Drabek, Christian
Vortrag
2015Reducing the verification effort for interfaces of automotive infotainment software
Drabek, Christian; Paulic, Annette; Weiß, Gereon
Bericht
2014Specifying model changes with UMLchange to support security verification of potential evolution
Wenzel, Sven; Warzecha, Daniel; Jürjens, Jan; Ochoa, Martin; Poggenpohl, Daniel
Zeitschriftenaufsatz
2013Interface verification using executable reference models: An application in the automotive infotainment
Drabek, Christian; Pramsohler, Thomas; Zeller, Marc; Weiß, Gereon
Konferenzbeitrag
2012Towards an approach to represent safety patterns
Antonino, Pablo; Keuler, Thorsten; Nakagawa, Elisa Yumi
Konferenzbeitrag
2001Manufacturing software components from object-oriented design models
Holz, Eckhardt; Kath, Olaf; Born, Marc
Konferenzbeitrag