RiuNet repositorio UPV
:
Listar por autor

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por autor "Masmano Tello, Miguel Ángel"

Mostrando ítems 1-2 de 2

Evaluación y verificación de un sistema operativo ARINC-653

Valiente Moreno, Yolanda (Universitat Politècnica de València, 2011-09-13)

En este proyecto se estudia, analiza y evalua un Sistema Operativo de tiempo real, XtratuM/LithOS, para sistemas informáticos basados en aviónica modular integrada (IMA) y conformes con la especificación del estándar ...
Metodología para hipervisores seguros utilizando técnicas de validación formal

Peiró Frasquet, Salvador (Universitat Politècnica de València, 2016-04-29)

[EN] The availability of new processors with more processing power for embedded systems has raised the development of applications that tackle problems of greater complexity. Currently, the embedded applications have more ...

Mostrando ítems 1-2 de 2