Doktorandnätverk IT and Mathematics

Forskningsresultat

Publikationer per år 2013 2020

• 159 Citeringar
• 7 h-Index
• 34 Konferensbidrag
• 14 Artikel
• 12 Beställd rapport
• 3 Doktorsavhandling
• 3 Mer
  • 2 Kapitel
  • 1 Övriga bidrag

Publikationer per år

Publikationer per år

Sökresultat

• 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

  • Formal verification 100%
  • Ships 69%
  • Navigation 65%
  • Controllers 46%
  • Costs 32%