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
International Conference on Methods and Models in Automation and Robotics (27. : 2023 : Międzyzdroje; Online) 2023 27th International Conference on Methods and Models in Automation and Robotics (MMAR) [Piscataway, NJ] : IEEE, 2023 (2023), Seite 157-162 1 Online-Ressource
International Conference on Methods and Models in Automation and Robotics (27. : 2023 : Międzyzdroje; Online) 2023 27th International Conference on Methods and Models in Automation and Robotics (MMAR) [Piscataway, NJ] : IEEE, 2023 (2023), Seite 39-44 1 Online-Ressource
IEEE International Conference on Systems and Control (11. : 2023 : Sousse) The 2023 IEEE 11th International Conference on Systems and Control (ICSC '23) Piscataway, NJ : IEEE, 2023 (2023), Seite 925-930 1 Online-Ressource
IEEE International Conference on Systems and Control (11. : 2023 : Sousse) The 2023 IEEE 11th International Conference on Systems and Control (ICSC '23) Piscataway, NJ : IEEE, 2023 (2023), Seite 774-781 1 Online-Ressource
International Conference on Information Fusion (25. : 2022 : Linköping) 2022 25th International Conference on Information Fusion (FUSION) [Piscataway, NJ] : IEEE, 2022 (2022), insgesamt 8 Seiten 1 Online Ressource