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

Éditorial: Universidad de Castilla-La Mancha

ISBN: 84-8427-074-2

Année de publication: 2000

Pages: 277-290

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

Type: Communication dans un congrès

DIALNET GOOGLE SCHOLAR
La source de données: Dialnet