Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems
Publiceringsår
2020
Upphovspersoner
Fatima Shokri-Manninen; Jüri Vain; Marina Walden
Organisationer och upphovspersoner
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Journal/Serie
Moderpublikationens namn
Volym
12310 LNCS
Sidor
41-59
ISSN
ISBN
Publikationsforum
Publikationsforumsnivå
1
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Nej
Parallellsparad
Ja
Övriga uppgifter
Vetenskapsområden
Data- och informationsvetenskap
Identifierade tema
[object Object]
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Ja
Sampublikation med ett företag
Nej
DOI
10.1007/978-3-030-58768-0_3
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja