Logo des Repositoriums
 
Konferenzbeitrag

Applicability of Model Checking for Verifying Spacecraft Operational Designs

Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Dateien

Modellierung_24_S2_3_Applicability_of_Model_Checking_for_Verifying_Spacecraft_Operational_Designs.pdf (1.91 MB)

Zusatzinformation

Datum

2024

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Modellierung 2024
Systems Design

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

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).

Beschreibung

Chrszon, Philipp; Maurer, Paulina; Saleip, George; Müller, Sascha; Fischer, Philipp M. ; Gerndt, Andreas; Felderer, Michael (2024): Applicability of Model Checking for Verifying Spacecraft Operational Designs. Modellierung 2024. DOI: 10.18420/modellierung2024_010. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-742-5. pp. 99-101. Systems Design. Potsdam, Germany. 12.-15. March 2024

Schlagwörter

Aerospace , Formal Models , Formal Methods , Model Checking

Zitierform

DOI

10.18420/modellierung2024_010

Tags

Sammlungen

P348 - Modellierung 2024
Modellierung 2024 (LNI P348)