Ontology-Based Systems Engineering for Traceability in Formal Methods

Westhofen, Lukas und Stierand, Ingo (2024) Ontology-Based Systems Engineering for Traceability in Formal Methods. AISoLA 2024, 2024-10-30 - 2024-11-03, Hersonissos, Griechenland. doi: 10.5281/zenodo.14049606.

	PDF - Nur DLR-intern zugänglich 297kB
	PDF - Nur DLR-intern zugänglich 9MB

Offizielle URL: https://doi.org/10.5281/zenodo.14049606

elib-URL des Eintrags:

https://elib.dlr.de/208181/

Dokumentart:

Konferenzbeitrag (Vortrag)

Titel:

Ontology-Based Systems Engineering for Traceability in Formal Methods

Autoren:

Autoren	Institution oder E-Mail-Adresse	Autoren-ORCID-iD	ORCID Put Code
Westhofen, Lukas	lukas.westhofen (at) dlr.de	https://orcid.org/0000-0003-1065-4182	NICHT SPEZIFIZIERT
Stierand, Ingo	ingo.stierand (at) dlr.de	https://orcid.org/0009-0000-7936-6969	NICHT SPEZIFIZIERT

Datum:

3 November 2024

Referierte Publikation:

Open Access:

Nein

Gold Open Access:

Nein

In SCOPUS:

Nein

In ISI Web of Science:

Nein

DOI:

10.5281/zenodo.14049606

Status:

veröffentlicht

Stichwörter:

Formal Methods, Ontology-Based Systems Engineering, Traceability

Veranstaltungstitel:

AISoLA 2024

Veranstaltungsort:

Hersonissos, Griechenland

Veranstaltungsart:

internationale Konferenz

Veranstaltungsbeginn:

30 Oktober 2024

Veranstaltungsende:

3 November 2024

HGF - Forschungsbereich:

Luftfahrt, Raumfahrt und Verkehr

HGF - Programm:

Verkehr

HGF - Programmthema:

Straßenverkehr

DLR - Schwerpunkt:

Verkehr

DLR - Forschungsgebiet:

V ST Straßenverkehr

DLR - Teilgebiet (Projekt, Vorhaben):

V - V&V4NGC - Methoden, Prozesse und Werkzeugketten für die Validierung & Verifikation von NGC

Standort:

Oldenburg

Institute & Einrichtungen:

Institut für Systems Engineering für zukünftige Mobilität

Hinterlegt von:

Westhofen, M.Sc. Lukas

Hinterlegt am:

12 Dez 2024 13:28

Letzte Änderung:

12 Dez 2024 13:28

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags