Listar por autor "Salmerón Moreno, Alberto"
Mostrando ítems 1-2 de 2
-
Integrating river basin DSSs with model checking.
Gallardo-Melgarejo, María del Mar
; Merino-Gómez, Pedro; Panizo-Jaime, Laura; Salmerón Moreno, Alberto (Springer, 2017-10-24)
This paper presents a Decision Support System (DSS) based on formal methods for the management of complex river basins in flood scenarios. The DSS is the result of integrating two different DSSs. First, a DSS for dam ... -
Model checking techniques for runtime testing and QoS analysis
(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 ...