Marina Walden – Publikationer — Åbo Akademi

E-postadressmarina.waldenabofi

Forskningsoutput per år

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