Browsing by Author "Parra Espada, Pablo"

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)
Diseño e implementación de un gestor de paquetes software basado en una interfaz de línea de órdenes para sistemas embarcados en satélite

Gamonal Sánchez, Víctor (2022)
Implementación y validación de nuevas funcionalidades para el simulador LeonViP

Losa Cruz, Borja (2021)
Modelado y generación de archivos de configuración para un hipervisor de tiempo real para sistemas embarcados en satélite

Mambrilla Moreno, Laura (2022)
Simulador para arquitecturas multiprocesador utilizadas en el sector espacial para apoyar el desarrollo de mecanismos software de tolerancia a fallos

Sánchez Sánchez, Jonatan (2022)