Ergründen Sie die Forschungsthemen, in denen Otto Brechelmacher aktiv ist. Diese Themenbezeichnungen stammen aus den Werken dieser Person. Zusammen bilden sie einen einzigartigen Fingerprint.
Brechelmacher, O., Nickovic, D., Nießen, T., Sallinger, S. (Autor:in und Vortragende:r) & Weissenbacher, G., 2024, Formal Methods and Software Engineering : 25th International Conference on Formal Engineering Methods, (ICFEM) 2024. Ogata, K., Mery, D., Sun, M. & Liu, S. (Hrsg.). 1 Aufl.Springer, Band 15394. S. 216-236 (Lecture Notes in Computer Science; Band 15394).
Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung