Soporte para ARM en un compilador verificado
Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2022.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Fil: Fil: Arranz Olmos, Santiago. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. biblioteca |
| Language: | spa |
| Published: |
2022-12
|
| Subjects: | Seguridad y privacidad, Jasmin, ARM Cortex M4, Lenguajes de programación, Formalización de hardware, Compiladores, Verificación, Criptografía, Security and privacy, Formal methods and theory of security, |
| Online Access: | http://hdl.handle.net/11086/546410 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|