• Model checking techniques for runtime testing and QoS analysis 

      Salmerón Moreno, Alberto (Universidad de Málaga, Servicio de Publicaciones y Divulgación Científica, 2014)
      Los sistemas software y hardware se encuentran cada vez más presentes en nuestras vidas, en multitud de campos de aplicación y de cualquier tamaño. El análisis de estos sistemas es una tarea dura pero necesaria para ...
    • Optimización multi-objetivo en las ciencias de la vida. 

      Lopez Camacho, Esteban (UMA Editorial, 2017-10-26)
      Las herramientas de acoplamiento molecular han llegado a ser bastante eficientes en el descubrimiento de fármacos y en el desarrollo de la investigación de la industria farmacéutica. Estas herramientas se utilizan para ...