direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

There is no English translation for this web page.




Winkler, J. and Tran, Q. (2014). Automatische Erkennung von Model Smells in Simulink-Modellen. Bonner Köllen Verlag, 167-170.

Noack, T., Helke, S. and Karbe, T. (2014). Reuse-Based Test Traceability: Automatic Linking of Test Cases and Requirements. International Journal on Advances in Software. IARIA, 469-485.

Mehlhase, A., Gomez-Esperon, D., Bergmann, J. and Merkle, M. (2014). An example of beneficial use of variable-structure modeling to enhance an existing rocket model. Electronic Press, 707-713.

Göthel, T. and Bartels, B. (2015). Modular Design and Verification of Distributed Adaptive Real-Time Systems. Second International Workshop on Formal Methods for Self-Adaptive Systems (FMSAS 2014), to appear.

Beckmann, M. (2014). Protokollierung von CAN-Nachrichten mithilfe eines integrierten Data Warehouse. Informatiktage 2014. Bonner Köllen Verlag, 17-20.

Bartels, B. and Jähnig, N. (2014). Mechanized, Compositional Verification of Low-Level Code. NASA Formal Methods (NFM 2014). Springer International Publishing, 98-112.

Bartels, B. (2014). A mechanized verification environment for real-time process algebras and low-level programming languages. OPUS Technische Universität Berlin (also PhD dissertation 2014).

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions