Conference papers (4) Publications in which a researcher has participated

1987

  1. FORMAL SPECIFICATION APPROACH TO LOCAL AREA NETWORKS SCENARIOS IN THE CONTEXT OF OSI REFERENCE MODEL.

    Sin título en SCOPUS

  2. TEACHING MICROPROGRAMMABLE ARCHITECTURES: HARDWARE/FIRMWARE DESIGN PROJECTS.

    Proceedings - Frontiers in Education Conference

  3. Un método de Tableaux para la lógica dinámica proposicional

    XII Jornadas Luso-Espanholas de Matemática: Universidade do Minho. 4 a 8 Maio 1987

  4. Un sistema de verificación para lenguajes de programación tipo funcional

    XII Jornadas Luso-Espanholas de Matemática: Universidade do Minho. 4 a 8 Maio 1987