June 2022

Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab FMICS ERCIM Working Group on Formal Methods for Industrial Critical Systems. Website

Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab ERCIM The European Research Consortium for Informatics and Mathematics – aims to foster collaborative work within the European research community and to increase co-operation with European industry. Leading European research institutes are members of ERCIM. Website

Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab 5G-PPP Association and Networld2020 Pedro Merino represents the University of Málaga in Networld2020 ETP and the 5GPPP Association Website