Fatima Shokri-Manninen

Doctoral Student, Faculty of Science and Engineering, Doctoral Network in Information Technologies and Mathematics

Emailfatemeh.shokri@abo.fi

Research output per year

If you made any changes in Pure these will be visible here soon.

3 Conference contribution
2 Commissioned report
1 Article
1 Other contribution

1 results

Filter

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