Återgå till huvudnavigering
Återgå till sök
Gå direkt till huvudinnehållet
Åbo Akademi Hem
English
Svenska
Suomi
Hem
Personer
Forskningsenheter
Projekt
Publikationer
Dataset
Priser
Aktiviteter
Kurser
Tidningsurklipp
Genomslag
Sök per experter, namn eller tillhörighet
Doktorandnätverk IT and Mathematics
Åbo Akademi
Fakulteten för naturvetenskaper och teknik
Översikt
Fingeravtryck
Nätverk
Personer
(3)
Projekt
(5)
Publikationer
(69)
Dataset
(1)
Forskningsresultat
Publikationer per år
2013
2013
2015
2016
2017
2018
2019
2020
2021
189
Citeringar
8
h-index
35
Konferensbidrag
16
Artikel
12
Beställd rapport
3
Doktorsavhandling
3
Mer
2
Kapitel
1
Övriga bidrag
Publikationer per år
Publikationer per år
1 resultat
Publikations år, titel
(fallande)
Publikations år, titel
(stigande)
Titel
Typ
Filter
Övriga bidrag
Sökresultat
2019
Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO
Shokri-Manninen, F.
,
Jüri, V.
,
Walden, M.
,
Tarmo, U. (red.)
&
Jüri, V. (red.)
,
2019
Forskningsoutput
:
Övriga bidrag
›
Peer review
Formal verification
100%
Ships
69%
Navigation
65%
Controllers
46%
Costs
32%