Fatemeh Shokri-Manninen – Publikationer — Åbo Akademi

E-postadressfatemeh.shokriabofi

Forskningsoutput per år

Om du gjort några ändringar i Pure kommer de visas här snart.

3 Konferensbidrag
2 Beställd rapport
1 Sammanfattning
1 Artikel
Mer
- 1 Övriga bidrag

1 resultat

Filter

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