Rezultaty
The deliverable reports the key scientific results by all ESRs involved in WP3 during the first reporting period
Reliable Vision and Navigation Under WaterThe deliverable reports the key scientific results by all ESRs involved in WP1 during the first reporting period
Reliable Mission and Planning Under WaterThe deliverable reports the key scientific results by all ESRs involved in WP2 during the first reporting period
Publikacje
Autorzy:
Martin Aubard, Ana Madureira, Luis Madureira, José Pinto
Opublikowane w:
2022 IEEE OES AUV SYMPOSIUM, Numer 2022, 2022, ISBN 978-1-6654-1689-4
Wydawca:
IEEE
DOI:
10.1109/auv53081.2022.9965813
Autorzy:
Coffelt, Kashani, Wąsowski, Kampmann
Opublikowane w:
2022 Joint Ontology Workshops, Numer tbd, 2022, Strona(/y) tbd
Wydawca:
tbd
Autorzy:
A Smith, J Coffelt, K Lingemann
Opublikowane w:
2022 IEEE OES OCEANS, Numer 2022, 2022, Strona(/y) 1-7, ISSN 0197-7385
Wydawca:
IEEE
DOI:
10.1109/oceans47191.2022.9977212
Autorzy:
Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Carlos Hernández Corbato, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
Opublikowane w:
11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - ISoLA 2022: Verification and Validation of Concurrent and Distributed Heterogeneous Systems., 2022
Wydawca:
Springer
Autorzy:
Sergio Quijano; Mahsa Varshosaz
Opublikowane w:
2022 IEEE Conference on Software Testing, Verification and Validation (ICST), Numer 08-June-2022, 2022, Strona(/y) 486-488, ISBN 978-1-6654-6680-6
Wydawca:
IEEE
DOI:
10.1109/icst53961.2022.00063
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników