Integrating scenario- and contract-based verification for automated vessels
Crossref DOI link: https://doi.org/10.1007/s00773-024-01008-0
Published Online: 2024-06-27
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Hake, Georg http://orcid.org/0009-0007-9769-6188
Reiher, David
Mentjes, Jan
Hahn, Axel
Funding for this research was provided by:
Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR)
Text and Data Mining valid from 2024-06-27
Version of Record valid from 2024-06-27
Article History
Received: 5 March 2023
Accepted: 23 May 2024
First Online: 27 June 2024