FADOSS
Diseño y análisis formal de sistemas de software
Constituït el 22 de de desembre de 2004
Responsables: FERNANDO RUBIO DÍEZADRIÁN RIESCO RODRÍGUEZ
Facultat: Informática
Departament: Sistemas Informáticos y Computación
Centre/Institut: Instituto de Tecnología del Conocimiento (ITC)
Correu electrònic: ariesco@ucm.es
Pàgina web: http://maude.ucm.es/fadoss/
Investigadors/es
Classificacions
- Àrees AEI: Ciencias de la Computación y Tecnología Informática