Achegas congreso (3) Publicacións nas que participase algún/ha investigador/a Ver datos de investigación referenciados.

no ano 1997 Eliminar o filtro
filter_list Tipo (agr.) Achegas congreso Desde o ano 1997 Ata o ano 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