Publicacións (6) Publicacións nas que participase algún/ha investigador/a

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. Contribución al tratamiento de datos en LOTOS

    [Vigo] : Depto. de Tecnologías de las Comunicaciones, Universidade de Vigo, [1997]

  3. Cómo convertir el Web en un entorno educativo

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 127, pp. 39

  4. 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

  5. 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

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

    Servizo de Publicacións