TY  - RPRT
TI  - Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles
AU  - Jon Arne Glomsrud
AU  - Stephanie Kemna
AU  - Chanjei Vasanthan
AU  - Luman Zhao
AU  - Dag McGeorge
AU  - Tom Arne Pedersen
AU  - Tobias Rye Torben
AU  - Børge Rokseth
AU  - Dong Trong Nguyen
PY  - 2024
DO  - 10.1088/1742-6596/2867/1/012043
UR  - https://arxiv.org/abs/2408.03244
ID  - 2408.03244
ER  -