Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2018Resumption of runtime verification monitors: Method, approach and application
Drabek, Christian; Weiß, Gereon; Bauer, Bernhard
Zeitschriftenaufsatz
2017DANA - Description and Analysis of Networked Applications
Drabek, Christian; Weiß, Gereon
Konferenzbeitrag
2017Method for automatic resumption of runtime verification monitors
Drabek, Christian; Weiß, Gereon; Bauer, Bernhard
Konferenzbeitrag
2015DANA - behavioral verification of automotive infotainment software-interfaces
Drabek, Christian
Vortrag