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.
Simon Kohaut; Nikolas Hohmann; Sebastian Brulin; Benedict Flade; Julian Eggert; Markus Olhofer; Jürgen Adamy; Devendra Singh Dhami; Kristian Kersting