Browsing by Author "Rodríguez Polo, Óscar"

Now showing items 1-5 of 5

Automatic verification of timing constraints for safety critical space systems

Fernández Salgado, Javier; Parra Espada, Pablo; Sánchez Prieto, Sebastián; Rodríguez Polo, Óscar; Bernat, Guillem (2019-09)
Desarrollo de un driver para acelerómetro en placa Nexys 4ddr e integración en un prototipo de software de aplicación de un instrumento a bordo de un satélite

Muñoz Toledano, Daniel (2022)
Proceso de verificación y validación de software embarcado en satélite: una estrategia basada en propiedades de composición

Fernández Salgado, Javier (2016)
Proceso de verificación y validación de software embarcado en satélite: Una estrategia basada en propiedades de composición

Fernández Salgado, Javier (2016)
Prototype on FreeRTOS and RISC-V of the application software of the EPD ICU onboard Solar Orbiter

Rodriguez Schere, Manuel Urbano (2021)