Baidu
map

Towards contract-based verification for autonomous vessels

Torben, TR; Smogeli, O; Glomsrud, JA; Utne, IB; Sorensen, AJ

Torben, TR (通讯作者),Norwegian Univ Sci & Technol NTNU, Ctr Autonomous Marine Operat & Syst AMOS, Trondheim, Norway.

OCEAN ENGINEERING, 2023; 270 ():

Abstract

Design and verification of autonomous vessels represent a major interdisciplinary engineering challenge due to the combination of high system complexi......

Full Text Link


Baidu
map
Baidu
map
Baidu
map