ESPECIFICACION, DISEÑO Y EVOLUCION DE SOFTWARE
GEDES
![Foto de ESPECIFICACION, DISEÑO Y EVOLUCION DE SOFTWARE](/img/grupo.png)
![Foto de European Space Research and Technology Centre](/img/noimage_org.png)
European Space Research and Technology Centre
Noordwijk-Binnen, HolandaPublicaciones en colaboración con investigadores/as de European Space Research and Technology Centre (1)
2003
-
Verifying, validating and monitoring the open Ravenscar real time kernel
Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW '03