Publikationen von Paulina Maurer

Tagungsbeiträge (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, Potsdam, Deutschland.
   

   online unter: 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, Västerås, Schweden.
   

   DOI: 10.1109/MODELS58315.2023.00011