Computación copy!.jpg

Sistemas Dependibles

En este grupo de investigación se estudian, desarrollan, y utilizan técnicas formales y herramientas que asisten en la construcción de sistemas dependibles. De esta manera se busca que los sistemas cumplan con algunos requisitos importantes en materia de disponibilidad, confiabilidad, robustez, y seguridad de los mismos