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