In this paper we present the SICOMORo-CM project. Its main aim is to advance the state of the art in the development of reliable and trustworthy systems by combining formal and model-based approaches. The project started on October 1st, 2014 and will last four years. The project consortium is integrated by five research groups based in Madrid (Spain) and it has been funded by the Regional Government of Madrid and the European Social Fund of the European Commission with a total of 635.088,65€.
CITATION STYLE
Albert, E., Cañizares, P. C., Guerra, E., de Lara, J., Marcos, E., Núñez, M., … Zanardini, D. (2018). SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10748 LNCS, pp. 367–374). Springer Verlag. https://doi.org/10.1007/978-3-319-74730-9_32
Mendeley helps you to discover research relevant for your work.