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
-
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 -
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
