In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2024), February 14-15, Kaiserslautern, Germany, 2024.
Sebastian Biewer; Kevin Baum; Sarah Sterz; Holger Hermanns; Sven Hetmank; Markus Langer; Anne Lauber-Rönsberg; Franz Lehr
In: INSTICC (Hrsg.). Proceedings of the 16th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-2024), February 24-26, Rome (ONLINE), Italy, ISBN 978-989-758-680-4, SciTePress, 2/2024.
In: Thirty-Second European Conference on Information Systems (ECIS 2024). European Conference on Information Systems (ECIS), Paphos, Cyprus, Association for Information Systems, 2024.
In: The Semantic Web - 21st International Conference. Extended Semantic Web Conference (ESWC-2024), May 26-30, Hersonissos, Crete, Greece, ISBN 978-3-031-60625-0, Springer, 2024.