Browsing Norges teknisk-naturvitenskapelige universitet (uspesifisert) by Journals "Ocean Engineering"
Now showing items 1-1 of 1
-
Towards contract-based verification for autonomous vessels
(Peer reviewed; Journal article, 2023)Design and verification of autonomous vessels represent a major interdisciplinary engineering challenge due to the combination of high system complexity and the interaction with dynamic, uncertain, and unstructured ...