h1

h2

h3

h4

h5
h6
TY  - JOUR
AU  - Dehn, Simon Michael
AU  - Jacobs, Georg
AU  - Höck, Philipp
AU  - Höpfner, Gregor
TI  - Enhancing model-based development with formalized requirements: integrating temporal logic and SysML v2 for comprehensive state and transition modeling
JO  - Forschung im Ingenieurwesen
VL  - 89
IS  - 1
SN  - 1434-0860
CY  - Heidelberg
PB  - Springer
M1  - RWTH-2025-03325
SP  - 53
PY  - 2025
T2  - Drivetrain and Systems Engineering Conference
CY  - 11 Mar 2025 - 12 Mar 2025, Aachen (Germany)
Y2  - 11 Mar 2025 - 12 Mar 2025
M2  - Aachen, Germany
LB  - PUB:(DE-HGF)16 ; PUB:(DE-HGF)8
UR  - <Go to ISI:>//WOS:001444720700001
DO  - DOI:10.1007/s10010-025-00806-1
UR  - https://publications.rwth-aachen.de/record/1009080
ER  -