Applicability of Model Checking for Verifying Spacecraft Operational Designs

dc.contributor.author	Chrszon, Philipp
dc.contributor.author	Maurer, Paulina
dc.contributor.author	Saleip, George
dc.contributor.author	Müller, Sascha
dc.contributor.author	Fischer, Philipp M.
dc.contributor.author	Gerndt, Andreas
dc.contributor.author	Felderer, Michael
dc.contributor.editor	Michael, Judith
dc.contributor.editor	Weske, Mathias
dc.date.accessioned	2024-02-19T11:27:56Z
dc.date.available	2024-02-19T11:27:56Z
dc.date.issued	2024
dc.description.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).	en
dc.identifier.doi	10.18420/modellierung2024_010
dc.identifier.isbn	978-3-88579-742-5
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/43612
dc.language.iso	en
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Modellierung 2024
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-348
dc.subject	Aerospace
dc.subject	Formal Models
dc.subject	Formal Methods
dc.subject	Model Checking
dc.title	Applicability of Model Checking for Verifying Spacecraft Operational Designs	en
dc.type	Text/Conference Paper
gi.citation.endPage	101
gi.citation.publisherPlace	Bonn
gi.citation.startPage	99
gi.conference.date	12.-15. March 2024
gi.conference.location	Potsdam, Germany
gi.conference.sessiontitle	Systems Design

Dateien

1 - 1 von 1

Name:: Modellierung_24_S2_3_Applicability_of_Model_Checking_for_Verifying_Spacecraft_Operational_Designs.pdf
Größe:: 1.91 MB
Format:: Adobe Portable Document Format