FADOSS
Diseño y análisis formal de sistemas de software
Konstituiert die 22 von Dezember von 2004
Verantwortlichen: FERNANDO RUBIO DÍEZADRIÁN RIESCO RODRÍGUEZ
Fakultät: Informática
Fachbereich: Sistemas Informáticos y Computación
Zentrum/Institut: Instituto de Tecnología del Conocimiento (ITC)
E-Mail: ariesco@ucm.es
Webseite : http://maude.ucm.es/fadoss/
Forscher/innen
Klassifikationen
- Bereiche AEI: Ciencias de la Computación y Tecnología Informática