Formal verification of maritime autonomous systems using UPPAAL STRATEGO
statement of authorship
Fatima Shokri-Manninen, Jüri Vain, and Marina Walden
location of publication
Tallinn
year of publication
pages
p. 58-61 : ill
conference name, date
31st Nordic Workshop on Programming Theory, NWPT 2019, 13–15 November 2019
conference location
Tallinn, Estonia
TTÜ subject term
UPPAAL STRATEGO
ISBN
978-9949-83-520-1
notes
Bibliogr.: 12 ref
TTÜ department
language
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.