Communications dans un congrès (3) Publications auxquelles un chercheur a participé Voir les données de recherche référencées.

en l'an 1997 Supprimer le filtre
filter_list Type (agr.) Communications dans un congrès Depuis l'année 1997 Jusqu'à l'année 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