A framework for embedded software portability and verification: From formal models to low-level code

Renata Martins Gomes, Bernhard Aichernig, Marcel Carsten Baunach^*

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

1 Active
2 Finished

2 results

Filter

Finished
Embedded Operating Systems
Baunach, M. C., Martins Gomes, R., Batista Ribeiro, L., Malenko, M., Mauroner, F. & Scheipel, T. P.
1/09/15 → 31/12/23
Project: Research project
Reconfigurable Processor Architectures
Baunach, M. C., Martins Gomes, R., Batista Ribeiro, L., Malenko, M., Mauroner, F., Scheipel, T. P. & Saikia, A.
1/09/14 → 31/12/23
Project: Research project