Formal development of multi-vessel navigation of maritime autonomous systems using UPPAAL STRATEGO
author
Shokri-Manninen, Fatima
Vain, Jüri
Walden, Marina
statement of authorship
Fatima Shokri-Manninen, Jüri Vain, and Marina Walden
source
32nd Nordic Workshop on Programming Theory, NWPT 2021, Reykjavik, Iceland, and online, 4-6 November 2021
year of publication
2021
pages
4 p
conference name, date
32nd Nordic Workshop on Programming Theory, NWPT 2021, 4-6 November, 2021
conference location
Reykjavik, Iceland
url
http://icetcs.ru.is/nwpt21/abstracts/paper7.pdf
http://icetcs.ru.is/nwpt21/programme.html
subject term
navigatsioon
mudelipõhine tarkvaraarendus
simulatsioon
notes
Bibliogr.: 12 ref
classifier
5.2
TalTech department
tarkvarateaduse instituut
language
inglise