Formal Verication of Maritime Autonomous Systems Using UPPAAL STRATEGO

Shokri-Manninen, Fatima; Vain, Jüri; Waldén, Marina (2019). Formal Verication of Maritime Autonomous Systems Using UPPAAL STRATEGO. Extended abstracts of Nordic Workshop on Programming Theory'2019. Ed. Jüri Vain, Tarmo Uustalu. TTU, 58−61.
publitseeritud konverentsiettekanne
Shokri-Manninen, Fatima; Vain, Jüri; Waldén, Marina
  • Inglise
Extended abstracts of Nordic Workshop on Programming Theory'2019
Jüri Vain, Tarmo Uustalu
Nordic Workshop on Programming Theory. Extended abstracts
2019
5861
Ilmunud
5.2. Konverentsiteesid, mis ei kuulu valdkonda 5.1

Lisainfo