Search Results (All Fields:"BDD", isMemberOf:"bibliuned:Setthesis")

Resultados de la Navegación (2)

RSS para este conjunto de resultadosRSS para este conjunto de resultados

Refinar

  Search Relevance Visitas Descargas
Béan Castelló, Roberto. Codificación eficiente de modelos de configuración utilizando BDD'S . 2019. Universidad Nacional de Educación a Distancia (España). Escuela Internacional de Doctorado. Programa de Doctorado en Ingeniería de Sistemas y Control  1.42 476 338
Pérez Morago, Héctor José. BDD algorithms to perform hard analysis operations on variability models . 2016. Universidad Nacional de Educación a Distancia (España). Escuela Internacional de Doctorado. Programa de Doctorado en Ingeniería de Sistemas y Control  0.97 681 727