Publications of Paulina Maurer

Proceedings (2)

1. P. Chrszon, P. Maurer, G. Saleip, S. Müller, P. M. Fischer, A. Gerndt, M. Felderer.
   Applicability of Model Checking for Verifying Spacecraft Operational Designs.
   Modellierung 24, 12.03.-15.03.2024, , Germany.
   

   online at: https://elib.dlr.de/205346/

2. P. Chrszon, P. Maurer, G. Saleip, S. Müller, P. M. Fischer, A. Gerndt, M. Felderer.
   Applicability of Model Checking for Verifying Spacecraft Operational Designs.
   26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2023), 01.-06.10.2023, , Sweden.
   

   DOI: 10.1109/MODELS58315.2023.00011