Capítulos de Libro (4) Publicaciones en las que ha participado algún/a investigador/a

2000

  1. Gestión de la configuración del software en un proyecto de I+D

    V Jornadas sobre Calidad del Software, 6 y 7 de julio de 2000. San Sebastián, Palacio de Miramar: Documentación de ponencias (Escuela de Organización Industrial)

  2. Solving job-shop scheduling problems by means of genetic algorithms

    The Practical Handbook of Genetic Algorithms: Applications, Second Edition (CRC Press), pp. 275-294

  3. Verificación Formal del Sistema de Control de Acceso a Aplicaciones Corporativas de la E.L.C

    ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 (Departamento de Informática), pp. 21-22

  4. Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno

    ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 (Departamento de Informática), pp. 53-58