Logo des Repositoriums

P348 - Modellierung 2024

https://dl.gi.de/handle/20.500.12116/43610
Auflistung nach:

Auflistung P348 - Modellierung 2024 nach Schlagwort "Aerospace"

1 - 1 von 1
  • Konferenzbeitrag
    Applicability of Model Checking for Verifying Spacecraft Operational Designs
    (Modellierung 2024, 2024) Chrszon, Philipp; Maurer, Paulina; Saleip, George; Müller, Sascha; Fischer, Philipp M. ; Gerndt, Andreas; Felderer, Michael
    This is a summary of the paper Applicability of Model Checking for Verifying Spacecraft Operational Designs which has been published at the 26th International Conference on Model Driven Engineering Languages and Systems (MODELS 23).