Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (27. : 2024 : Kaiserslautern) MBMV 2024 Berlin : VDE VERLAG GMBH, 2024 2024, insgesamt 7 Seiten 1 CD-ROM
IEEE International Conference on Emerging Technologies and Factory Automation (27. : 2022 : Stuttgart) 2022 27th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) [Piscataway, NJ] : IEEE, 2022 (2022) 1 Online Ressource