Research project
S2018/TCS-4314 FORTE-CM
FORmal models and Technologies for Emerging applications.
date_range
Duration: from 01 January 2019 to 31 December 2022
(48 months)
Finished
It has been granted under a regime of Competitive.