6th Workshop on Avionics Systems und Software Engineering (AvioSE'24)

dc.contributor.author	Reich, Marina
dc.contributor.author	Annighoefer, Bjoern
dc.contributor.author	Schweiger, Andreas
dc.contributor.editor	Rabiser, Rick
dc.contributor.editor	Wimmer, Manuel
dc.contributor.editor	Groher, Iris
dc.contributor.editor	Wortmann, Andreas
dc.contributor.editor	Wiesmayr, Bianca
dc.date.accessioned	2024-02-19T09:22:51Z
dc.date.available	2024-02-19T09:22:51Z
dc.date.issued	2024
dc.identifier.doi	10.18420/sw2024_56
dc.identifier.isbn	978-3-88579-737-1
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/43602
dc.language.iso	en
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Software Engineering 2024 (SE 2024)
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-343
dc.subject	Avionics
dc.subject	Safety
dc.subject	Security
dc.subject	Systems engineering
dc.subject	Software engineering
dc.subject	MBSE
dc.subject	Formal method
dc.subject	Formal verification
dc.subject	Model-based
dc.subject	Requirement
dc.subject	qualification
dc.subject	Certification
dc.subject	Simulation
dc.subject	Process
dc.subject	Tool
dc.subject	Platform
dc.subject	Architecture
dc.subject	AI
dc.title	6th Workshop on Avionics Systems und Software Engineering (AvioSE'24)	en
dc.type	Text/Conference Paper
gi.citation.endPage	168
gi.citation.publisherPlace	Bonn
gi.citation.startPage	167
gi.conference.date	26. Februar-1. März 2024
gi.conference.location	Linz, Österreich
gi.conference.sessiontitle	Workshops

Dateien

1 - 1 von 1