Novela gráfica basada en el Reconocimiento de las ejecuciones extrajudiciales en Colombia.

Actualmente, la informática de borde móvil (MEC) es una de las técnicas más populares utilizadas para responder a servicios en tiempo real desde una amplia gama de terminales móviles. En comparación con sistemas de fase única, los servicios comerciales en MEC pueden ser modelados como sistemas de misión por fases (PMS) y son mucho más complejos, debido a las dependencias entre las fases. Durante la última década, los investigadores han propuesto un conjunto de nuevos algoritmos basados en BDD para el análisis de árboles de fallos de una amplia gama de PMS con diversos requisitos de misión y comportamientos de fallos. El análisis a realizar en un árbol de fallos puede ser cualitativo o cuantitativo. Para el análisis cuantitativo de árboles de fallos de PMS mediante BDD, se ha realizado mucho trabajo. Sin embargo, para el análisis cualitativo de árboles de fallos de PMS mediante BDD, no se ha encontrado mucho trabajo relacionado. En este documento, hemos presentado algunos métodos eficientes para