Crossmark

Enhancing model-based development with formalized requirements: integrating temporal logic and SysML v2 for comprehensive state and transition modeling

Crossref DOI link: https://doi.org/10.1007/s10010-025-00806-1

Published Online: 2025-03-14

Published Print: 2025-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Dehn, Simon https://orcid.org/0000-0001-7049-151X
Jacobs, Georg https://orcid.org/0000-0002-7564-288X
Höck, Philipp

Höpfner, Gregor https://orcid.org/0000-0003-4451-3978
Funding

Funding for this research was provided by:

RWTH Aachen University
License Information

Text and Data Mining valid from 2025-03-14

Version of Record valid from 2025-03-14
More Information

Article History

Received: 16 September 2024

Accepted: 12 February 2025

First Online: 14 March 2025

Document is current

Any future updates will be listed below