Formal development of multi-vessel navigation of maritime autonomous systems using UPPAAL STRATEGO
autor
Shokri-Manninen, Fatima
Vain, Jüri
Walden, Marina
vastutusandmed
Fatima Shokri-Manninen, Jüri Vain, and Marina Walden
allikas
32nd Nordic Workshop on Programming Theory, NWPT 2021, Reykjavik, Iceland, and online, 4-6 November 2021
ilmumisaasta
2021
leheküljed
4 p
konverentsi nimetus, aeg
32nd Nordic Workshop on Programming Theory, NWPT 2021, 4-6 November, 2021
konverentsi toimumispaik
Reykjavik, Iceland
leitav
http://icetcs.ru.is/nwpt21/abstracts/paper7.pdf
http://icetcs.ru.is/nwpt21/programme.html
märksõna
navigatsioon
mudelipõhine tarkvaraarendus
simulatsioon
märkused
Bibliogr.: 12 ref
klassifikaator
5.2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise