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