Doctoral Network in Information Technologies and Mathematics

Julkaisut

Julkaisuja vuodessa 2013 2013 2015 2016 2017 2018 2019 2020 2023

• 235 Viittaukset
• 8 h-index
• 34 Konferenssiartikkeli
• 19 Artikkeli
• 12 Tutkimusraportti
• 4 Tohtorinväitöskirja
• 4 Lisää
  • 2 Luku
  • 1 Tiivistelmä
  • 1 Muu myötävaikuttaminen

Julkaisuja vuodessa

Julkaisuja vuodessa

Hakutulokset

• Muu myötävaikuttaminen

  Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO

  Shokri-Manninen, F., Jüri, V., Walden, M., Tarmo, U. (toim.) & Jüri, V. (toim.), 2019

  Tutkimustuotos: Muu myötävaikuttaminen › vertaisarvioitu

  • Collision 100%
  • Navigation 100%
  • Controller 100%
  • Model 100%
  • Cost 100%