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
Buch:
Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000
  1. Cazorla López, Diego (coord.)

Verlag: Universidad de Castilla-La Mancha

ISBN: 84-8427-074-2

Datum der Publikation: 2000

Seiten: 277-290

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

Art: Konferenz-Beitrag