FORTE-CM (FORmal Models and Technologies for Emerging Applications)
Proyecto de investigación financiado que tuvo como objetivo contribuir al avance en su ámbito de estudio.
Duración: 01/01/2019 - 31/12/2022
Fund: Comunidad de Madrid, referencia P2018/TCS-4314
Principal Investigator:
- UAM: Juan de Lara Jaramillo
Project members: