FADOSS
Diseño y análisis formal de sistemas de software
Constituido el 22 de diciembre de 2004
Responsables: FERNANDO RUBIO DÍEZADRIÁN RIESCO RODRÍGUEZ
Facultad: Informática
Departamento: Sistemas Informáticos y Computación
Centro/Instituto: Instituto de Tecnología del Conocimiento (ITC)
Correo electrónico: ariesco@ucm.es
Página web: http://maude.ucm.es/fadoss/
Investigadores/as
Clasificaciones
- Áreas AEI: Ciencias de la Computación y Tecnología Informática