Formal approaches to design and verification of safe control systems for autonomous vessels

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Omfang	ix, 195, 23 sider : illustrasjoner
Opplysninger	Delvis opptrykk av artikler. - Serieangivelsen feilaktig angitt som Doctoral theses at NTNU, 2030:70. - Avhandling (ph.d.) - Norges teknisk-naturvitenskapelige universitet, Trondheim, 2023. - Elektronisk reproduksjon
Emner	phd doktoravhandlinger marin teknikk
Sjanger	Doktoravhandlinger
ISBN	9788232655861

Biblioteksøk