Glomsrud, J. A., Kemna, S., Vasanthan, C., Zhao, L., McGeorge, D., Pedersen, T. A., . . . Nguyen, D. T. (2024). Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles.
Chicago-Zitierstil (17. Ausg.)Glomsrud, Jon Arne, Stephanie Kemna, Chanjei Vasanthan, Luman Zhao, Dag McGeorge, Tom Arne Pedersen, Tobias Rye Torben, Børge Rokseth, und Dong Trong Nguyen. Modular Assurance of an Autonomous Ferry Using Contract-Based Design and Simulation-based Verification Principles. 2024.
MLA-Zitierstil (9. Ausg.)Glomsrud, Jon Arne, et al. Modular Assurance of an Autonomous Ferry Using Contract-Based Design and Simulation-based Verification Principles. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.