Aportacions a un congrés (3) Publicacions en què ha participat algun investigador/a Mostra dades de recerca referenciades.

l'any 1997 Esborra el filtre
filter_list Tipus (agr.) Aportacions a un congrés Des de l'any 1997 Fins a l'any 1997

1997

  1. A preemptive priority-based disk I/O subsystem for the management of hard real-time disk traffic

    Proceedings - Euromicro Conference on Real-Time Systems

  2. Un nuevo enfoque para la verificación de relaciones basadas en la bisimulación

    V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997

  3. Una lógica temporal causal para la especificación de requisitos funcionales de un sistema distribuido

    V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997