Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller 0005, Philipp Martin Fischer, Andreas Gerndt, Michael Felderer. Applicability of Model Checking for Verifying Spacecraft Operational Designs. In 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023, Västerås, Sweden, October 1-6, 2023. pages 206-216, IEEE, 2023. [doi]
Abstract is missing.