In: 75th International Astronautical Congress. International Astronautical Congress (IAC-2024), October 14-18, Milan, Italy, International Astronautical Federation (IAF), 2024.
In: 2024 IEEE 7th International Conference on Industrial Cyber-Physical Systems (ICPS). IEEE International Conference on Industrial Cyber-Physical Systems (ICPS-2024), May 12-15, St. Louis, MO, USA, Pages 1-8, IEEE, 2024.
Kevin Baum; Biewer Sebastian; Hermanns Holger; Hetmank Sven; Langer Markus; Lauber-Rönsberg Anne; Sterz Sarah
In: Thomas Neele; Anton Wijs (Hrsg.). Model Checking Software - 30th International Symposium - Proceedings. International Symposium on Model Checking Software (SPIN-2024), April 8-9, Luxembourg City, Luxembourg, Pages 3-25, Lecture Notes in Computer Science (LNCS), Vol. 14624, Springer Nature, Switzerland, 10/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.
In: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE International Conference on Emerging Technologies and Factory Automation (ETFA-2024), September 10-13, Padua, Italy, ISBN 979-8-3503-6123-0, IEEE, 10/2024.