| Zeitraum | 19 Mai 2025 |
|---|---|
| Veranstaltungstyp | Workshop |
| Ort | Atlanta, USA/Vereinigte Staaten, GeorgiaAuf Karte anzeigen |
| Bekanntheitsgrad | International |
Verbundene Inhalte
-
Aktivitäten
-
FORCES - FOundations for Reliable, CorrEct and Secure robotic systems
Aktivität: Gespräch oder Vortrag › Scientific poster presentation
-
2025 IEEE International Conference on Robotics and Automation, ICRA 2025
Aktivität: Teilnahme an oder Organisation einer Veranstaltung › Teilnahme an einer Konferenz, einem Workshop
-
Publikationen
-
FORCES: An Incremental Transpiler from C/C++ to Rust for Robust and Secure Robotics Systems
Publikation: Unpublished contribution to conference › Papier › Begutachtung
-
Projekte
-
FOundations for Reliable, CorrEct, and Secure robotic systems
Projekt: Forschung › DEFRA