Skip to main navigation
Skip to search
Skip to main content
English
Svenska
Suomi
Home
Persons
Research Units
Projects
Publications
Datasets
Prizes
Activities
Courses
Impacts
Search by expertise, name or affiliation
Fatima Shokri-Manninen
Doctoral Student
,
Faculty of Science and Engineering
,
Doctoral Network in Information Technologies and Mathematics
Email
fatemeh.shokri@abo.fi
2015
2020
Research output per year
Overview
Fingerprint
Network
Publications
(7)
Similar Profiles
(1)
If you made any changes in Pure these will be visible here soon.
Publications
Research Output per year
2015
2020
3
Conference contribution
2
Commissioned report
1
Article
1
Other contribution
Research Output per year
Research Output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Other contribution
Search results
2019
Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO
Shokri-Manninen, F.
, Jüri, V.,
Walden, M.
, Tarmo, U. (ed.) & Jüri, V. (ed.),
2019
Research output
:
Other contribution