Doktorandnätverk IT and Mathematics

189 Citeringar
8 h-index
35 Konferensbidrag
16 Artikel
12 Beställd rapport
3 Doktorsavhandling
Mer
- 2 Kapitel
- 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