CARLOS
CERRADA SOMOLINOS
Catedrático de Universidad
Héctor José
Pérez Morago
Publications dans lesquelles il/elle collabore avec Héctor José Pérez Morago (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