Imagen de Portada

Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Glomsrud, Jon Arne, Kemna, Stephanie, Vasanthan, Chanjei, Zhao, Luman, McGeorge, Dag, Pedersen, Tom Arne, Torben, Tobias Rye, Rokseth, Børge, Nguyen, Dong Trong
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Modular Assurance of Complex Systems Using Contract-Based Design Principles
por: McGeorge, Dag, et al.
Publicado: (2024)

A modular risk concept for complex systems
por: McGeorge, Dag, et al.
Publicado: (2025)

Design and Validation of an Intention-Aware Probabilistic Framework for Trajectory Prediction: Integrating COLREGS, Grounding Hazards, and Planned Routes
por: Mahipala, Dhanika, et al.
Publicado: (2025)

A Comparative Study of Rapidly-exploring Random Tree Algorithms Applied to Ship Trajectory Planning and Behavior Generation
por: Tengesdal, Trym, et al.
Publicado: (2024)

Einstein's Equations from the Informational Action Principle
por: Boman, Erik Arne
Publicado: (2025)

The Informational Action Principle: A Variational Framework Unifying Energy and Information
por: Boman, Erik Arne
Publicado: (2025)

Underway physical oceanography and carbon dioxide measurements during METEOR cruise M68/3
por: Körtzinger, Arne, et al.
Publicado: (2011)

Underway physical oceanography and carbon dioxide measurements during SONNE cruise SO234/2
por: Steinhoff, Tobias, et al.
Publicado: (2017)

Underway physical oceanography and carbon dioxide measurements during SONNE cruise SO235
por: Steinhoff, Tobias, et al.
Publicado: (2017)

Underway physical oceanography and carbon dioxide measurements during Atlantic Companion cruise 77CO20060611
por: Steinhoff, Tobias, et al.
Publicado: (2014)

Underway physical oceanography and carbon dioxide measurements during Atlantic Companion cruise 77CO20070925
por: Steinhoff, Tobias, et al.
Publicado: (2014)

Underway physical oceanography and carbon dioxide measurements during Atlantic Companion cruise 77CO20071013
por: Steinhoff, Tobias, et al.
Publicado: (2014)

Underway physical oceanography and carbon dioxide measurements during Atlantic Companion cruise 77CO20110530
por: Steinhoff, Tobias, et al.
Publicado: (2014)

Underway physical oceanography and carbon dioxide measurements during Atlantic Companion cruise 77CO20110912
por: Steinhoff, Tobias, et al.
Publicado: (2014)

Underway physical oceanography and carbon dioxide measurements during FALSTAFF cruise 77FF20020520
por: Steinhoff, Tobias, et al.
Publicado: (2014)

Underway physical oceanography and carbon dioxide measurements during FALSTAFF cruise 77FF20020614
por: Steinhoff, Tobias, et al.
Publicado: (2014)

Underway physical oceanography and carbon dioxide measurements during FALSTAFF cruise 77FF20020813
por: Steinhoff, Tobias, et al.
Publicado: (2014)

Underway physical oceanography and carbon dioxide measurements during FALSTAFF cruise 77FF20020924
por: Steinhoff, Tobias, et al.
Publicado: (2014)

Underway physical oceanography and carbon dioxide measurements during FALSTAFF cruise 77FF20050430
por: Steinhoff, Tobias, et al.
Publicado: (2014)

Underway physical oceanography and carbon dioxide measurements during METEOR cruise M68/3
por: Steinhoff, Tobias, et al.
Publicado: (2016)

Underway physical oceanography and carbon dioxide measurements during Atlantic Companion cruise 77CN20111205
por: Steinhoff, Tobias, et al.
Publicado: (2016)

Underway physical oceanography and carbon dioxide measurements during Atlantic Companion cruise 77CN20120419
por: Steinhoff, Tobias, et al.
Publicado: (2016)

Underway physical oceanography and carbon dioxide measurements during Atlantic Companion cruise 77CN20120730
por: Steinhoff, Tobias, et al.
Publicado: (2016)

Underway physical oceanography and carbon dioxide measurements during Atlantic Companion cruise 77CN20121008
por: Steinhoff, Tobias, et al.
Publicado: (2016)

Underway physical oceanography and carbon dioxide measurements during Atlantic Companion cruise 77CO20110807
por: Steinhoff, Tobias, et al.
Publicado: (2016)

Underway physical oceanography and carbon dioxide measurements during POSEIDON cruise POS399/2
por: Steinhoff, Tobias, et al.
Publicado: (2016)

Underway physical oceanography and carbon dioxide measurements during Atlantic Companion cruise 77CN20111102
por: Steinhoff, Tobias, et al.
Publicado: (2016)

Underway physical oceanography and carbon dioxide measurements during Atlantic Companion cruise 77CN20120317
por: Steinhoff, Tobias, et al.
Publicado: (2016)

Underway physical oceanography and carbon dioxide measurements during Atlantic Companion cruise 77CO20110530
por: Steinhoff, Tobias, et al.
Publicado: (2016)

Underway physical oceanography and carbon dioxide measurements during Atlantic Companion cruise 77CO20110912
por: Steinhoff, Tobias, et al.
Publicado: (2016)

Underway physical oceanography and carbon dioxide measurements during Atlantic Companion cruise 77CO20060625
por: Steinhoff, Tobias, et al.
Publicado: (2014)

Underway physical oceanography and carbon dioxide measurements during Atlantic Companion cruise 77CO20070211
por: Steinhoff, Tobias, et al.
Publicado: (2014)

Underway physical oceanography and carbon dioxide measurements during Atlantic Companion cruise 77CO20070320
por: Steinhoff, Tobias, et al.
Publicado: (2014)

Underway physical oceanography and carbon dioxide measurements during Atlantic Companion cruise 77CO20070719
por: Steinhoff, Tobias, et al.
Publicado: (2014)

Underway physical oceanography and carbon dioxide measurements during Atlantic Companion cruise 77CO20110928
por: Steinhoff, Tobias, et al.
Publicado: (2014)

Underway physical oceanography and carbon dioxide measurements during FALSTAFF cruise 77FF20020408
por: Steinhoff, Tobias, et al.
Publicado: (2014)

Underway physical oceanography and carbon dioxide measurements during FALSTAFF cruise 77FF20020724
por: Steinhoff, Tobias, et al.
Publicado: (2014)

Underway physical oceanography and carbon dioxide measurements during FALSTAFF cruise 77FF20021216
por: Steinhoff, Tobias, et al.
Publicado: (2014)

Underway physical oceanography and carbon dioxide measurements during FALSTAFF cruise 77FF20050714
por: Steinhoff, Tobias, et al.
Publicado: (2014)

Underway physical oceanography and carbon dioxide measurements during POSEIDON cruise POS399/2
por: Steinhoff, Tobias, et al.
Publicado: (2014)