HECTOR JOSE
PEREZ MORAGO
Investigador en el període 2015-2017
CARLOS
CERRADA SOMOLINOS
Catedrático de Universidad
Publicacions en què col·labora amb CARLOS CERRADA SOMOLINOS (3)
2016
-
Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Models
Frontiers in Artificial Intelligence and Applications
-
Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Models
THE 15TH INTERNATIONAL CONFERENCE ON INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS, AND TECHNIQUES (SOMET 16)
2015
-
Efficient Identification of Core and Dead Features in Variability Models
IEEE Access, Vol. 3, pp. 2333-2340