Métodos formales en sistemas concurrentes
El grupo aborda nuevas metodologías, técnicas, lenguajes y herramientas que permitan generar una especificación formal, completa y correcta de dichos sistemas y de este modo, se facilite el análisis y la construcción de sistemas confiables independientemente de su complejidad.
RSS
