FADOSS
Diseño y análisis formal de sistemas de software
Date of inception 22 December 2004
Leaders: ADRIÁN RIESCO RODRÍGUEZFERNANDO RUBIO DÍEZ
Faculty: Informática
Department: Sistemas Informáticos y Computación
Centre/Institute: Instituto de Tecnología del Conocimiento (ITC)
Email: ariesco@ucm.es
Website: http://maude.ucm.es/fadoss/
Researchers
Classifications
- AEI Areas: Ciencias de la Computación y Tecnología Informática
beta
Prevailing specialties (top 10)
Obtained from publications help
Obtained from publications
The thematic specialties shown were obtained through the application of artificial intelligence models, obtained as a result of the Hercules Project.
The thematic specialties shown were obtained through the application of artificial intelligence models, obtained as a result of the Hercules Project.
- Computational Theory and Mathematics (Computer Science) Filter
- Programming Languages (Computer Science) Filter
- Software (Computer Science) Filter
- Software Engineering (Computer Science) Filter
- Artificial Intelligence (Computer Science) Filter
- Hardware and Architecture (Computer Science) Filter
- Human-Computer Interaction (Computer Science) Filter
- Information Systems (Computer Science) Filter
- Logic (Mathematics) Filter
- Theoretical Computer Science (Mathematics) Filter