Browsing by Author "Fernández Salgado, Javier"
Now showing items 1-3 of 3
-
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) -
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)