| langue originale | Anglais |
|---|---|
| titre | Proceedings of the 26th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems |
| Pages | 57-61 |
| Les DOIs | |
| état | Publié - 13 juin 2025 |
Projets
- 1 Actif
-
FORCES: FOundations for Reliable, CorrEct, and Secure robotic systems
Hasselmann, K. (Promoteur) & Engels, T. (Chercheur)
1/12/24 → 31/12/28
Projet: Recherche › DEFRA
Contient cette citation
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver