Tell a friend
Print
Chrszon, Philipp and Maurer, Paulina and Saleip, George and Müller, Sascha and Fischer, Philipp Martin and Gerndt, Andreas and Felderer, Michael (2024) Applicability of Model Checking for Verifying Spacecraft Operational Designs. In: Modellierung 24, P-348, pp. 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 |
Official URL: https://doi.org/10.18420/modellierung2024_010
Abstract
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).
| Item URL in elib: | https://elib.dlr.de/205346/ | ||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Conference or Workshop Item (Speech) | ||||||||||||||||||||||||||||||||
| Title: | Applicability of Model Checking for Verifying Spacecraft Operational Designs | ||||||||||||||||||||||||||||||||
| Authors: |
| ||||||||||||||||||||||||||||||||
| Date: | 2024 | ||||||||||||||||||||||||||||||||
| Journal or Publication Title: | Modellierung 24 | ||||||||||||||||||||||||||||||||
| Refereed publication: | Yes | ||||||||||||||||||||||||||||||||
| Open Access: | Yes | ||||||||||||||||||||||||||||||||
| Gold Open Access: | No | ||||||||||||||||||||||||||||||||
| In SCOPUS: | No | ||||||||||||||||||||||||||||||||
| In ISI Web of Science: | No | ||||||||||||||||||||||||||||||||
| Volume: | P-348 | ||||||||||||||||||||||||||||||||
| DOI: | 10.18420/MODELLIERUNG2024_010 | ||||||||||||||||||||||||||||||||
| Page Range: | pp. 99-101 | ||||||||||||||||||||||||||||||||
| Editors: |
| ||||||||||||||||||||||||||||||||
| Publisher: | Gesellschaft für Informatik e.V. | ||||||||||||||||||||||||||||||||
| Series Name: | LNI | ||||||||||||||||||||||||||||||||
| ISBN: | 978-3-88579-742-5 | ||||||||||||||||||||||||||||||||
| Status: | Published | ||||||||||||||||||||||||||||||||
| Keywords: | Aerospace Formal Models Formal Methods Model Checking | ||||||||||||||||||||||||||||||||
| Event Title: | Modellierung 2024 | ||||||||||||||||||||||||||||||||
| Event Location: | Potsdam | ||||||||||||||||||||||||||||||||
| Event Type: | national Conference | ||||||||||||||||||||||||||||||||
| Event Start Date: | 12 March 2024 | ||||||||||||||||||||||||||||||||
| Event End Date: | 15 March 2024 | ||||||||||||||||||||||||||||||||
| Organizer: | Querschnittsfachausschuss Modellierung, Gesellschaft für Informatik e.V. (GI) | ||||||||||||||||||||||||||||||||
| HGF - Research field: | Aeronautics, Space and Transport | ||||||||||||||||||||||||||||||||
| HGF - Program: | Space | ||||||||||||||||||||||||||||||||
| HGF - Program Themes: | Space System Technology | ||||||||||||||||||||||||||||||||
| DLR - Research area: | Raumfahrt | ||||||||||||||||||||||||||||||||
| DLR - Program: | R SY - Space System Technology | ||||||||||||||||||||||||||||||||
| DLR - Research theme (Project): | R - Formal verification | ||||||||||||||||||||||||||||||||
| Location: | Braunschweig | ||||||||||||||||||||||||||||||||
| Institutes and Institutions: | Institute of Software Technology | ||||||||||||||||||||||||||||||||
| Deposited By: | Chrszon, Philipp | ||||||||||||||||||||||||||||||||
| Deposited On: | 19 Jul 2024 12:28 | ||||||||||||||||||||||||||||||||
| Last Modified: | 01 Apr 2025 13:51 |
Repository Staff Only: item control page
