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

Editorial: Universidad de Castilla-La Mancha

ISBN: 84-8427-074-2

Any de publicació: 2000

Pàgines: 277-290

Congrés: Jornadas de Concurrencia (8. 2000. Cuenca)

Tipus: Aportació congrés