Sormenjälki
Sukella tutkimusaiheisiin 'Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.- Järjestys:
- Painoarvo
- Aakkosjärjestyksessä
Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems
Fatima Shokri-Manninen, Jüri Vain, Marina Walden
Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
5
Sitaatiot
(Scopus)
32
Lataukset
(Pure)