Diseño formal de sistemas operativos de tiempo real con UML
- Génova Fuster, Gonzalo
- Carretero Pérez, Jesús
- Valiente Blázquez, María Cruz
Editorial: Servicio de Publicaciones ; Universidad de Almería
ISBN: 84-8240-714-7
Año de publicación: 2004
Páginas: 420-425
Congreso: Jornadas de Paralelismo (15. 2004. Almeria)
Tipo: Aportación congreso