Listar LCC - Tesis por autor "Salmerón Moreno, Alberto"
Mostrando ítems 1-1 de 1
-
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 ...