Estimados estudiantes,
si tienen interés en desarrollar un proyecto de grado o actividad de investigación en torno a la aplicación de métodos formales para el análisis de sistemas críticos, no duden en consultarnos, ya que existen posibilidades.
Saludos, Carlos