h1

001009080 001__ 1009080
001009080 005__ 20250718162350.0
001009080 0247_ $$2ISSN$$a0015-7899
001009080 0247_ $$2ISSN$$a1434-0860
001009080 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-105000317529
001009080 0247_ $$2WOS$$aWOS:001444720700001
001009080 0247_ $$2datacite_doi$$a10.18154/RWTH-2025-03325
001009080 0247_ $$2doi$$a10.1007/s10010-025-00806-1
001009080 037__ $$aRWTH-2025-03325
001009080 041__ $$aEnglish
001009080 082__ $$a600
001009080 1001_ $$0P:(DE-82)IDM04492$$aDehn, Simon Michael$$b0$$eCorresponding author$$urwth
001009080 1112_ $$aDrivetrain and Systems Engineering Conference$$cAachen$$d2025-03-11 - 2025-03-12$$gDSEC 2025$$wGermany
001009080 245__ $$aEnhancing model-based development with formalized requirements: integrating temporal logic and SysML v2 for comprehensive state and transition modeling$$honline, print
001009080 260__ $$aHeidelberg$$bSpringer$$c2025
001009080 300__ $$a[1]-9
001009080 3367_ $$00$$2EndNote$$aJournal Article
001009080 3367_ $$0PUB:(DE-HGF)16$$2PUB:(DE-HGF)$$aJournal Article$$bjournal$$mjournal
001009080 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings
001009080 3367_ $$2BibTeX$$aARTICLE
001009080 3367_ $$2DRIVER$$aarticle
001009080 3367_ $$2DataCite$$aOutput Types/Journal article
001009080 3367_ $$2ORCID$$aJOURNAL_ARTICLE
001009080 536__ $$0G:(DE-82)021000-OAPKF$$aOAPKF - Open-Access-Publikation mit Unterstützung der RWTH Aachen University (021000-OAPKF)$$c021000-OAPKF$$x0
001009080 536__ $$0G:(BMWK)19I21029D$$aBMWK 19I21029D - Verbundprojekt: KIZAM - Künstliche Intelligenz im Ziele- und Anforderungsmanagement; Teilvorhaben: Systematisierung der Anforderungen und der Zusammenhänge (19I21029D)$$c19I21029D$$x1
001009080 588__ $$aDataset connected to , , , CrossRef, Journals: publications.rwth-aachen.de
001009080 591__ $$aGermany
001009080 7001_ $$0P:(DE-82)IDM00465$$aJacobs, Georg$$b1$$urwth
001009080 7001_ $$0P:(DE-82)IDM06952$$aHöck, Philipp$$b2$$urwth
001009080 7001_ $$0P:(DE-82)IDM03595$$aHöpfner, Gregor$$b3$$urwth
001009080 770__ $$aDSEC 2025 / Editors: Prof. Dr.-Ing. Georg Jacobs, Dr.-Ing. Jörg Berroth, Dr.-Ing. Dennis Bosse, Philipp Waigand (M. Sc.)
001009080 773__ $$0PERI:(DE-600)1481282-4$$a10.1007/s10010-025-00806-1$$n1$$p53$$tForschung im Ingenieurwesen$$v89$$x1434-0860$$y2025
001009080 7870_ $$0RWTH-2025-03134$$iHasPart
001009080 8564_ $$uhttps://publications.rwth-aachen.de/record/1009080/files/1009080.pdf$$yOpenAccess
001009080 8767_ $$c100$$d2025-04-11$$eOther$$jDEAL$$v7.00$$x021000-411710$$zServicepauschale
001009080 8767_ $$c2600$$d2025-04-11$$eHybrid-OA$$jDEAL$$v182.00$$x021000-411710
001009080 909CO $$ooai:publications.rwth-aachen.de:1009080$$popenaire$$popen_access$$popenCost$$pdriver$$pdnbdelivery$$pVDB$$pOpenAPC_DEAL
001009080 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM04492$$aRWTH Aachen$$b0$$kRWTH
001009080 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00465$$aRWTH Aachen$$b1$$kRWTH
001009080 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM06952$$aRWTH Aachen$$b2$$kRWTH
001009080 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM03595$$aRWTH Aachen$$b3$$kRWTH
001009080 9141_ $$y2025
001009080 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0
001009080 915__ $$0LIC:(DE-HGF)CCBY4$$2HGFVOC$$aCreative Commons Attribution CC BY 4.0
001009080 915__ $$0StatID:(DE-HGF)0100$$2StatID$$aJCR$$bFORSCH INGENIEURWES : 2022$$d2025-01-01
001009080 915__ $$0StatID:(DE-HGF)0113$$2StatID$$aWoS$$bScience Citation Index Expanded$$d2025-01-01
001009080 915__ $$0StatID:(DE-HGF)0150$$2StatID$$aDBCoverage$$bWeb of Science Core Collection$$d2025-01-01
001009080 915__ $$0StatID:(DE-HGF)0160$$2StatID$$aDBCoverage$$bEssential Science Indicators$$d2025-01-01
001009080 915__ $$0StatID:(DE-HGF)0199$$2StatID$$aDBCoverage$$bClarivate Analytics Master Journal List$$d2025-01-01
001009080 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS$$d2025-01-01
001009080 915__ $$0StatID:(DE-HGF)0300$$2StatID$$aDBCoverage$$bMedline$$d2025-01-01
001009080 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
001009080 915__ $$0StatID:(DE-HGF)1160$$2StatID$$aDBCoverage$$bCurrent Contents - Engineering, Computing and Technology$$d2025-01-01
001009080 915__ $$0StatID:(DE-HGF)3002$$2StatID$$aDEAL Springer$$d2025-01-01$$wger
001009080 915__ $$0StatID:(DE-HGF)9900$$2StatID$$aIF < 5$$d2025-01-01
001009080 915pc $$0PC:(DE-HGF)0000$$2APC$$aAPC keys set
001009080 915pc $$0PC:(DE-HGF)0001$$2APC$$aLocal Funding
001009080 915pc $$0PC:(DE-HGF)0002$$2APC$$aDFG OA Publikationskosten
001009080 915pc $$0PC:(DE-HGF)0113$$2APC$$aDEAL: Springer Nature 2020
001009080 9201_ $$0I:(DE-82)411710_20190404$$k411710$$lLehrstuhl und Institut für Maschinenelemente und Systementwicklung$$x0
001009080 961__ $$c2025-03-31T08:47:01.870768$$x2025-03-31T08:47:01.870768$$z2025-03-31T08:47:01.870768
001009080 9801_ $$aFullTexts
001009080 980__ $$aAPC
001009080 980__ $$aI:(DE-82)411710_20190404
001009080 980__ $$aUNRESTRICTED
001009080 980__ $$aVDB
001009080 980__ $$acontrib
001009080 980__ $$ajournal