MARÍA CRUZ
VALIENTE BLÁZQUEZ
Profesora ayudante doctora
Jesús
Carretero Pérez
Publicaciones en las que colabora con Jesús Carretero Pérez (2)
2006
-
UML 2.0 Notation for modeling real time task scheduling
Journal of Object Technology, Vol. 5, Núm. 4, pp. 91-105
2004
-
Diseño formal de sistemas operativos de tiempo real con UML
Computación de altas prestaciones: actas de las XV Jornadas de Paralelismo. Almería 15, 16 y 17 de septiembre de 2004