Aportaciones congreso (3) Publicaciones en las que ha participado algún/a investigador/a Ver datos de investigación referenciados.

en el año 1997 Quitar filtro
filter_list Tipo (agr.) Aportaciones congreso desde 1997 hasta 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