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.
Alina Boehm; Tim Schneider; Boris Belousov; Alap Kshirsagar; Lisa Lin; Katja Doerschner; Knut Drewing; Constantin A. Rothkopf; Jan Peters
In: Proceedings of the 57th Annual Hawaii International Conference on System Sciences. Hawaii International Conference on System Sciences (HICSS-2024), Digital Innovation for a Sustainable Economy, January 3-6, Waikiki, HI, USA, ScholarSpace, 1/2024.
In: Adjunct Proceedings of the 32nd ACM Conference on User Modeling, Adaptation and Personalization. International Conference on User Modeling, Adaptation, and Personalization (UMAP-2024), July 1-4, Cagliari, Italy, Pages 132-135, ISBN 979-8-4007-0466-6/24/07, ACM Digital Library, 7/2024.
In: European Wireless 2024; 29th European Wireless Conference. European Wireless (EW-2024), located at European Wireless 2024, September 9-11, Brno, Czech Republic, IEEE Xplore, 2024.