| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 26th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems |
| Pages | 57-61 |
| DOIs | |
| Publication status | Published - 13 Jun 2025 |
Projects
- 1 Active
-
FORCES: FOundations for Reliable, CorrEct, and Secure robotic systems
Hasselmann, K. (Promotor) & Engels, T. (Researcher)
1/12/24 → 31/12/28
Project: Research › DEFRA
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver