Fingeravtryck
Fördjupa i forskningsämnen för ”Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO”. Tillsammans bildar de ett unikt fingeravtryck.- Sortera enligt
- Vikt
- Alfabetisk ordning
Fatima Shokri-Manninen, Vain Jüri, Marina Walden, Uustalu Tarmo (Redaktör), Vain Jüri (Redaktör)
Forskningsoutput: Övriga bidrag › Peer review