guest ::
Enhancing model-based development with formalized requirements: integrating temporal logic and SysML v2 for comprehensive state and transition modeling
; ; ;
In
DSEC 2025 / Editors: Prof. Dr.-Ing. Georg Jacobs, Dr.-Ing. Jörg Berroth, Dr.-Ing. Dennis Bosse, Philipp Waigand (M. Sc.)
In
Forschung im Ingenieurwesen 89(1), Seiten/Artikel-Nr.:53
2025
Online
DOI: 10.18154/RWTH-2025-03325
DOI: 10.1007/s10010-025-00806-1
URL: http://publications.rwth-aachen.de/record/1009080/files/1009080.pdf
Einrichtungen
Projekte
- OAPKF - Open-Access-Publikation mit Unterstützung der RWTH Aachen University (021000-OAPKF) (021000-OAPKF)
- BMWK 19I21029D - Verbundprojekt: KIZAM - Künstliche Intelligenz im Ziele- und Anforderungsmanagement; Teilvorhaben: Systematisierung der Anforderungen und der Zusammenhänge (19I21029D) (19I21029D)
Thematische Einordnung (Klassifikation)
DDC: 600
OpenAccess: 
PDF
Dokumenttyp
Journal Article/Contribution to a conference proceedings
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-105000317529
WOS Core Collection: WOS:001444720700001
Interne Identnummern
RWTH-2025-03325
Datensatz-ID: 1009080
Beteiligte Länder
Germany
Related:
Proceedings
DSEC 2025
Drivetrain and Systems Engineering Conference, DSEC 2025, AachenAachen, Germany, 11 Mar 2025 - 12 Mar 2025
Forschung im Ingenieurwesen = Engineering research (2025)
Fulltext
BibTeX |
EndNote:
XML,
Text |
RIS
; 
; 
; Clarivate Analytics Master Journal List ; Current Contents - Engineering, Computing and Technology ; DEAL Springer ; Essential Science Indicators ; IF < 5 ; JCR ; SCOPUS ; Science Citation Index Expanded ; Web of Science Core Collection
PDF