Auflistung nach Schlagwort "Formal Models"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragApplicability 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, MichaelThis 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).