In: 2024 33rd IEEE International Conference on Robot and Human Interactive Communication (ROMAN). IEEE International Conference on Robot and Human Interactive Communication (RO-MAN-2024), August 26-30, Pasadena, California, USA, Pages 160-167, IEEE XPlore, 8/2024.
International Conference on 6G Networking (6GNet-2024), Proceedings of the 3st International Conference on 6G Networking, Paris, France, IEEE Xplore, 2024.
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: Maike Klein; Daniel Krupka; Cornelia Winter; Martin Gergeleit; Ludger Martin (Hrsg.). INFORMATIK 2024. Pages 1079-1097, ISBN 978-3-88579-746-3, Gesellschaft für Informatik e.V. Bonn, 2024.