prindi

Formal verification 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
31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts
ilmumiskoht
Tallinn
kirjastus/väljaandja
Department of Software Science, Tallinn University of Technology
ilmumisaasta
2019
leheküljed
p. 58-61 : ill
konverentsi nimetus, aeg
31st Nordic Workshop on Programming Theory, NWPT 2019, 13–15 November 2019
konverentsi toimumispaik
Tallinn, Estonia
leitav
https://doi.org/10.23658/taltech.nwpt/2019
märksõna
kaugjuhitavad sõidukid
veesõidukid
tarkvara-arendusvahendid
modelleerimine (teadus)
TTÜ märksõna
UPPAAL STRATEGO
ISBN
978-9949-83-520-1
märkused
Bibliogr.: 12 ref
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Shokri-Manninen, F., Vain, J., Walden, M. Formal verification of maritime autonomous systems using UPPAAL STRATEGO // 31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts. Tallinn : Department of Software Science, Tallinn University of Technology, 2019. p. 58-61 : ill. https://doi.org/10.23658/taltech.nwpt/2019