TY  - RPRT
TI  - Provable Execution in Real-Time Embedded Systems
AU  - Antonio Joia Neto
AU  - Norrathep Rattanavipanon
AU  - Ivan De Oliveira Nunes
PY  - 2025
UR  - https://arxiv.org/abs/2505.13842
ID  - 2505.13842
ER  -