Verificación de requisitos de tiempo críticos sobre sistemas incompletos

  1. García Duque, Jorge
  2. Barragáns Martínez, Ana Belén
  3. Díaz Redondo, Rebeca
  4. Pazos Arias, José Juan
  5. Fernández Vilas, Ana
  6. Gil Solla, Alberto
Liburua:
Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000
  1. Cazorla López, Diego (coord.)

Argitaletxea: Universidad de Castilla-La Mancha

ISBN: 84-8427-074-2

Argitalpen urtea: 2000

Orrialdeak: 277-290

Biltzarra: Jornadas de Concurrencia (8. 2000. Cuenca)

Mota: Biltzar ekarpena