Doktorandnätverk IT and Mathematics

235 Citeringar
8 h-index
34 Konferensbidrag
19 Artikel
12 Beställd rapport
4 Doktorsavhandling
Mer

1 resultat

Filter

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