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
Journal Article
2017DANA - Description and Analysis of Networked Applications
Drabek, Christian; Weiß, Gereon
Conference Paper
2017Method for automatic resumption of runtime verification monitors
Drabek, Christian; Weiß, Gereon; Bauer, Bernhard
Conference Paper
2015DANA - behavioral verification of automotive infotainment software-interfaces
Drabek, Christian
Presentation