Sormenjälki
Sukella tutkimusaiheisiin 'Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.- Järjestys:
- Painoarvo
- Aakkosjärjestyksessä
Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO
Fatima Shokri-Manninen, Vain Jüri, Marina Walden, Uustalu Tarmo (Toimittaja), Vain Jüri (Toimittaja)
Tutkimustuotos: Muu myötävaikuttaminen › vertaisarvioitu