Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO

Fatima Shokri-Manninen, Vain Jüri, Marina Walden, Uustalu Tarmo (Redaktör), Vain Jüri (Redaktör)

Forskningsoutput: Övriga bidragPeer review

Fingeravtryck

Fördjupa i forskningsämnen för ”Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO”. Tillsammans bildar de ett unikt fingeravtryck.

Keyphrases