Doctoral Network in Information Technologies and Mathematics

Julkaisut

Julkaisuja vuodessa 2013 2013 2015 2016 2017 2018 2019 2020 2024

• 256 Viittaukset
• 9 h-index
• 35 Konferenssiartikkeli
• 20 Artikkeli
• 12 Tutkimusraportti
• 4 Tohtorinväitöskirja
• 5 Lisää
  • 2 Luku
  • 1 Tiivistelmä
  • 1 Keskustelupuheenvuoro
  • 1 Muu myötävaikuttaminen

Julkaisuja vuodessa

Julkaisuja vuodessa

Hakutulokset

• 2019

  Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO

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

  Tutkimustuotos: Muu myötävaikuttaminen › vertaisarvioitu

  • Controller 100%