FADOSS
Diseño y análisis formal de sistemas de software
Constitué le 22 décembre 2004
Responsable: NARCISO MARTÍ OLIET
Faculté: Informática
Département: Sistemas Informáticos y Computación
Centre/Institut: Instituto de Tecnología del Conocimiento (ITC)
email: narciso@ucm.es
Page web: http://maude.ucm.es/fadoss/
Chercheurs
NARCISO
MARTÍ OLIET
Responsable
Clasificaciones
- Domaines AEI: Ciencias de la Computación y Tecnología Informática