Versenden
Drucken
Chrszon, Philipp und Maurer, Paulina und Saleip, George und Müller, Sascha und Fischer, Philipp Martin und Gerndt, Andreas und Felderer, Michael (2024) Applicability of Model Checking for Verifying Spacecraft Operational Designs. In: Modellierung 24, P-348, Seiten 99-101. Gesellschaft für Informatik e.V.. Modellierung 2024, 2024-03-12 - 2024-03-15, Potsdam. doi: 10.18420/MODELLIERUNG2024_010. ISBN 978-3-88579-742-5.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
147kB |
Offizielle URL: https://doi.org/10.18420/modellierung2024_010
Kurzfassung
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).
| elib-URL des Eintrags: | https://elib.dlr.de/205346/ | ||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||||||||||||||||||
| Titel: | Applicability of Model Checking for Verifying Spacecraft Operational Designs | ||||||||||||||||||||||||||||||||
| Autoren: |
| ||||||||||||||||||||||||||||||||
| Datum: | 2024 | ||||||||||||||||||||||||||||||||
| Erschienen in: | Modellierung 24 | ||||||||||||||||||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||||||||||||||||||
| Open Access: | Ja | ||||||||||||||||||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||||||||||||||||||
| In SCOPUS: | Nein | ||||||||||||||||||||||||||||||||
| In ISI Web of Science: | Nein | ||||||||||||||||||||||||||||||||
| Band: | P-348 | ||||||||||||||||||||||||||||||||
| DOI: | 10.18420/MODELLIERUNG2024_010 | ||||||||||||||||||||||||||||||||
| Seitenbereich: | Seiten 99-101 | ||||||||||||||||||||||||||||||||
| Herausgeber: |
| ||||||||||||||||||||||||||||||||
| Verlag: | Gesellschaft für Informatik e.V. | ||||||||||||||||||||||||||||||||
| Name der Reihe: | LNI | ||||||||||||||||||||||||||||||||
| ISBN: | 978-3-88579-742-5 | ||||||||||||||||||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||||||||||||||||||
| Stichwörter: | Aerospace Formal Models Formal Methods Model Checking | ||||||||||||||||||||||||||||||||
| Veranstaltungstitel: | Modellierung 2024 | ||||||||||||||||||||||||||||||||
| Veranstaltungsort: | Potsdam | ||||||||||||||||||||||||||||||||
| Veranstaltungsart: | nationale Konferenz | ||||||||||||||||||||||||||||||||
| Veranstaltungsbeginn: | 12 März 2024 | ||||||||||||||||||||||||||||||||
| Veranstaltungsende: | 15 März 2024 | ||||||||||||||||||||||||||||||||
| Veranstalter : | Querschnittsfachausschuss Modellierung, Gesellschaft für Informatik e.V. (GI) | ||||||||||||||||||||||||||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||||||||||||||||||
| HGF - Programm: | Raumfahrt | ||||||||||||||||||||||||||||||||
| HGF - Programmthema: | Technik für Raumfahrtsysteme | ||||||||||||||||||||||||||||||||
| DLR - Schwerpunkt: | Raumfahrt | ||||||||||||||||||||||||||||||||
| DLR - Forschungsgebiet: | R SY - Technik für Raumfahrtsysteme | ||||||||||||||||||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | R - Formale Verifikation | ||||||||||||||||||||||||||||||||
| Standort: | Braunschweig | ||||||||||||||||||||||||||||||||
| Institute & Einrichtungen: | Institut für Softwaretechnologie | ||||||||||||||||||||||||||||||||
| Hinterlegt von: | Chrszon, Philipp | ||||||||||||||||||||||||||||||||
| Hinterlegt am: | 19 Jul 2024 12:28 | ||||||||||||||||||||||||||||||||
| Letzte Änderung: | 19 Jul 2024 12:28 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
